| Titre : | Logique mathématique : 2.Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles |
| Partie : | 2 |
| Auteurs : | René. Cori ; Daniel. Lascar, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | Nouv. présentation |
| Editeur : | Paris : Dunod, 2003 |
| Collection : | Sciences sup |
| ISBN/ISSN/EAN : | 978-2-10-005453-4 |
| Format : | XV-347 p. / ill. / 24 cm. |
| Note générale : | Bibliogr, Index. |
| Langues: | Français |
| Index. décimale : | 510 (Mathématiques) |
| Catégories : | |
| Mots-clés: | logique symbolique et mathématique ; manuels d'enseignement supérieur ; Godel, théorème de ; fonctions récursives |
| Résumé : | Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de Godel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés. |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| Mathé.A/2818 | 510/1172/1 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
