Mots-clés – Auteurs – Publimath

théorème d’élimination des coupures

Il y a 2 résultats pour cette recherche

2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
Auteur : Regnier Laurent
1980 Les démonstrations de cohérence de l’arithmétique.
Auteur : Girard Jean-Yves