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 : |
Chargement en cours