| 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 : | Paris : Dunod, 2020 |
| ISBN/ISSN/EAN : | 978-2-10-080770-3 |
| Format : | 347 p. / 24 cm |
| Langues: | Français |
| Index. décimale : | 511-Principes généraux des mathématiques |
| 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é |
|---|---|---|---|---|---|
| SE001980 | 511-29 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Consultation sur place Exclu du prêt |
| SE001981 | 511-29 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Libre accès Disponible |
| SE001982 | 511-29 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Libre accès Disponible |
| SE001983 | 511-29 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Libre accès Disponible |
Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Accueil
