Nantilus
Logique mathématique : II Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles cours et exercices
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Autres auteurs : | |
| Format : | Manuel |
| Langue : | français |
| Titre complet : | Logique mathématique. II, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices / René Cori,... Daniel Lascar,...; préface de J. L. Krivine |
| Publié : |
Paris, Milan, Barcelone [etc.] :
Masson
, 1993 |
| Description matérielle : | 1 vol. (XV-347 p.) |
| Collection : | Axiomes (Paris) |
| Sujets : |
| Variantes de titre : | Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |
|---|---|
| Historique des publications : | 2ème tirage corrigé : 1994 |
| Bibliographie : | Bibliogr. p. [323]-325. Index |
| ISBN : | 2-225-84080-6 2-228-84080-6 |