| Titre : |
Logique mathématique T.2 : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles |
| Type de document : |
texte imprimé |
| Auteurs : |
René CORI, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. |
| Editeur : |
Masson |
| Année de publication : |
1994 |
| Collection : |
Axiomes |
| Importance : |
347 p. |
| Format : |
25 cm. |
| ISBN/ISSN/EAN : |
978-2-225-84080-7 |
| Note générale : |
Index. |
| Langues : |
Français (fre) |
| Catégories : |
MATHÉMATIQUES:Logique mathématique
|
| Index. décimale : |
04-07 Logique mathématique |
| Résumé : |
Sommaire:
Récursivité.
Formalisation de l'arithmétique.
Théorèmes de Gödel.
Théorie des ensembles.
Un peu de théorie des modèles.
Solutions des exercices. |
Logique mathématique T.2 : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. . - Masson, 1994 . - 347 p. ; 25 cm.. - ( Axiomes) . ISBN : 978-2-225-84080-7 Index. Langues : Français ( fre)
| Catégories : |
MATHÉMATIQUES:Logique mathématique
|
| Index. décimale : |
04-07 Logique mathématique |
| Résumé : |
Sommaire:
Récursivité.
Formalisation de l'arithmétique.
Théorèmes de Gödel.
Théorie des ensembles.
Un peu de théorie des modèles.
Solutions des exercices. |
|  |