Publimath
Il y a 1 résultat avec cette recherche.
1980 Les démonstrations de cohérence de l’arithmétique.
Auteur : Girard Jean-Yves