Logique mathématique. cours et exercices II, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles :
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Autres auteurs: | |
| Format: | Livre papier |
| Langue: | Français |
| Publié: |
Paris ; Milan ; Barcelone [etc.] :
Masson
1993.
|
| Collection: | Axiomes : collection de logique mathématique / coordonnée par J.-L. Krivine
|
| Sujets: | |
| Note: |
2ème tirage corrigé : 1994 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |
| Description: | 2ème tirage corrigé : 1994 |
|---|---|
| Description matérielle: | 1 vol. (XV-347 p.) : couv. ill. ; 24 cm. |
| Bibliographie: | Bibliogr. p. [323]-325. Index |
| ISBN: | 2225840806 (br.) 2228840806 |
| ISSN: | 1243-426 |