Mots-clés – Auteurs

théorie récursivement axiomatisable

Il y a 4 résultats pour cette recherche

2015 Tangente Hors-série. N° 55. Démontrer : l’art de convaincre.
Auteur : Cohen Gilles. Dir.
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. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. Kurt Gödel : le vrai et le démontrable. p. 34-38.
Auteur : Justens Daniel