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

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:
Détails bibliographiques
Auteurs principaux : Cori René (Auteur), Lascar Daniel (Auteur)
Autres auteurs : Krivine Jean-Louis (Préfacier)
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 :
Logique mathématique non classique
Théorie des modèles
Logique mathématique
Théorie des ensembles
Fonctions récursives
Gödel, Théorème de
Problèmes et exercices

BU Censive

Informations d'exemplaires de BU Censive
‌ Cote Prêt Statut
Bât. Censive, 1er étage, salle 111 L 12959 Empruntable Disponible

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 103I02 Prêt sans prolongation Emprunté
Date de retour 11/11/2024