Logique mathématique : 2 : Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices

Logique mathématique : 2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles cours et exercices

Détails bibliographiques
Auteurs principaux : Cori René (Auteur), Lascar Daniel (Auteur)
Autres auteurs : Krivine Jean-Louis (Préfacier)
Format : Livre
Langue : français
Titre complet : Logique mathématique. 2, 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
Édition : 2e tirage corrigé
Publié : Paris, Milan, Barcelone : Masson , 1994
Description matérielle : 1 vol. (XV-347 p.)
Collection : Axiomes (Paris)
Sujets :
Logique mathématique non classique > Problèmes et exercices
Logique mathématique non classique > Manuels d'enseignement supérieur
Fonctions récursives
Théorie des ensembles
Gödel, Théorème de
Théorie des modèles
Chargement en cours