| Titre : | Logique mathématique |
| Titre de série : | Logique mathématique, 2 |
| Auteurs : | René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. |
| Type de document : | texte imprimé |
| Editeur : | Malakoff : Dunod, DL 2019 |
| Collection : | Sciences Sup |
| ISBN/ISSN/EAN : | 978-2-10-080770-3 |
| Format : | 1 vol. (XV-347 p.) / 24 cm |
| Note générale : |
La couv. porte en plus : "licence 3, master" Bibliogr. p.323-325. Index |
| Langues: | Français |
| Index. décimale : | 511.3 |
| Mots-clés: | Logique mathématique |
| Résumé : | Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. |
Exemplaires (4)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 727 | 511.3/03 | Livre | Bibliothèque Estin | Documentaires | Consultation sur place Exclu du prêt |
| 728 | 511.3/03.2 | Livre | Bibliothèque Estin | Documentaires | Disponible |
| 729 | 511.3/03.3 | Livre | Bibliothèque Estin | Documentaires | Disponible |
| 730 | 511.3/03.4 | Livre | Bibliothèque Estin | Documentaires | Disponible |
