Logique mathematique, cours et exercices. II : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles - 2ème tirage corrigé [monographie] |
| Auteur(s): | Cori, René Lascar, Daniel (1942-....) Krivine, Jean-Louis (1939-....) (Préface) |
| Langue: | français |
| Collection: | Axiomes : Collection de logique mathématique |
| Editeur, date d'édition: | Masson, 1993 |
| Ville(s) d'édition: | Barcelone (ES), Milan (IT), Paris (FR) |
| ISBN: | 2-225-84080-6 |
| ISSN: | 1243-4264 |
| Classification MSC: | 03-01 (2000) |
| Notes: | xvi + bibliogr. pp. 323-325 + index pp. 335-347 + 24 cm ; 347 p. |
| Thèmes: | recursivite, logique mathematique, machine turi, fonction ackermann |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 COR 93-2 | Disponible |