Aide à la recherche
Requête :
"séquent de Gentzen"
Nouvelle recherche
dans
les fiches
la liste des mots-clés
la liste des auteurs
les notices du glossaire
Afficher les fiches par
20
50
100
1 fiche trouvée
1
2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
