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