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 |




