Logique mathématique cours et exercices. Vol. II :
fonctions recursives, théorème de Gödel, théorie des ensembles, théorie des modèles
Cori, René (Principal) ; Lascar, Daniel (Co-auteur) ; Krivine, J. L. (Préfacier)
1993
347 p.
978-2-225-84080-7
00015781
fonction récursive # logique mathématique # théoeir des modèles # théorie des ensembles # théorème de Gödel
Ville d'édition : Barcelone ; Milan ; Paris
Pays d'édition : France
Langue : Français
EAN13 : 9782225840807
ISBN : 2-225-84080-6
Collation : 24 cm#broch. ; Bibliogr. ; Index ; xv
Collection : Axiomes
Sous collection : logique mathématique
Localisation : Ouvrage RdC (CORI)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00015781 | [disponible] |