Détail de l'auteur
Auteur Ren?e Cori |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche Interroger des sources externes
Logique math?ematique, 2. Logique mathématique / Ren?e Cori
Titre de série : Logique math?ematique, 2 Titre : Logique mathématique Type de document : texte imprimé Auteurs : Ren?e Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Jean-Louis Krivine, Préfacier, etc. Importance : 1 vol. (XV-347 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-10-080770-3 Note générale : La couv. porte en plus : "licence 3, master"
Bibliogr. p.323-325. IndexLangues : Français (fre) Mots-clés : Logique math?ematique Index. décimale : 511.3 Résumé : Ce deuxi?eme tome est plus particuli?erement consacr?e aux probl?emes de r?ecursivit?e et de formalisation de l'arithm?etique, aux th?eor?emes de G?odel et ?a la th?eorie des ensembles ainsi qu'?a la th?eorie des mod?eles. Logique math?ematique, 2. Logique mathématique [texte imprimé] / Ren?e Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Jean-Louis Krivine, Préfacier, etc. . - [s.d.] . - 1 vol. (XV-347 p.) ; 24 cm.
ISBN : 978-2-10-080770-3
La couv. porte en plus : "licence 3, master"
Bibliogr. p.323-325. Index
Langues : Français (fre)
Mots-clés : Logique math?ematique Index. décimale : 511.3 Résumé : Ce deuxi?eme tome est plus particuli?erement consacr?e aux probl?emes de r?ecursivit?e et de formalisation de l'arithm?etique, aux th?eor?emes de G?odel et ?a la th?eorie des ensembles ainsi qu'?a la th?eorie des mod?eles. Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BFS50404 510-511.3-27/01 Livre salle de consultation sur place 510Mathématiques Exclu du prêt