théorème d’élimination des coupures

Il y a 2 résultats avec cette recherche.

1980 Les démonstrations de cohérence de l’arithmétique.

Auteur : Girard Jean-Yves
2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.

Auteur : Regnier Laurent