Portail Documentaire
A partir de cette page vous pouvez :
Retourner au premier écran avec les étagères virtuelles... |
Titre : | Logique mathématique T.2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |
Auteurs : | ... René Cori ; ... Daniel Lascar ; ... J.L. Krivine, Préfacier, etc. |
Type de document : | texte imprimé |
Editeur : | Paris : Masson, 1994 |
Collection : | Axiomes, ISSN 1243-4264 |
ISBN/ISSN/EAN : | 978-2-225-84080-7 |
Format : | XV-347 p. / couv. ill. en noir et blanc / 24 cm |
Note générale : | Bibliogr. p. 323-325. - index p. 335-347. |
Mots-clés: | Mathématique ; logique mathématique ; fonction récursive ; théorème de Gödel ; théorie des ensembles ; théorie des modèles ; Gödel |
Exemplaires
Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|
226307 | Livre | Nkolbisson | Bibliothèque Centrale | Disponible |