Liste fiches - Publimath

théorie récursivement axiomatisable

Il y a 2 résultats pour cette recherche

2015 Tangente Hors-série. N° 55. p. 22-25. Kurt Gödel : le vrai et le démontrable.
Auteur : Justens Daniel
2015 Bibliothèque Tangente. N° 55. Kurt Gödel : le vrai et le démontrable. p. 34-38.
Auteur : Justens Daniel