théorie récursivement axiomatisable

Il y a 4 résultats avec cette recherche.

2015 Tangente Hors-série. N° 55. Démontrer : l’art de convaincre.

Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. Les démonstrations.

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. Kurt Gödel : le vrai et le démontrable. p. 34-38.

Auteur : Justens Daniel