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
LEADER 02032cam a2200493 4500
001 PPN061239755
003 http://www.sudoc.fr/061239755
005 20240516055300.0
010 |a 2-225-84080-6  |b br. 
035 |a (OCoLC)491513686 
035 |a ubs2985 
073 1 |a 9782225840807 
100 |a 20000801h19941993k y0frey0103 ba 
101 0 |a fre  |2 639-2 
102 |a FR 
105 |a y a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Logique mathématique  |h 2  |i Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles  |e cours et exercices  |f René Cori,... Daniel Lascar,...  |g préface de J.-L. Krivine 
205 |a 2e tirage corrigé 
214 0 |a Paris  |a Milan  |a Barcelone  |c Masson  |d 1994 
215 |a 1 vol. (XV-347 p.)  |c couv. ill.  |d 24 cm 
225 0 |a Axiomes  |e collection de logique mathématique  |x 1243-4264 
320 |a Bibliogr. p. [323]-325. Index 
410 | |0 040091066  |t Axiomes (Paris)  |x 1243-4264 
517 | |a Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles 
606 |3 PPN027868699  |a Logique mathématique non classique  |3 PPN027790517  |x Problèmes et exercices  |2 rameau 
606 |3 PPN027868699  |a Logique mathématique non classique  |3 PPN03020934X  |x Manuels d'enseignement supérieur  |2 rameau 
606 |3 PPN027814688  |a Fonctions récursives  |2 rameau 
606 |3 PPN027355330  |a Théorie des ensembles  |2 rameau 
606 |3 PPN027351432  |a Gödel, Théorème de  |2 rameau 
606 |3 PPN027237869  |a Théorie des modèles  |2 rameau 
700 1 |3 PPN056972776  |a Cori  |b René  |4 070 
701 1 |3 PPN032332300  |a Lascar  |b Daniel  |f 1942-....  |4 070 
702 1 |3 PPN030156149  |a Krivine  |b Jean-Louis  |f 1939-....  |4 080 
801 3 |a FR  |b Abes  |c 20230324  |g AFNOR 
801 1 |a FR  |b UBS  |c 20000407  |g AFNOR 
979 |a PHILO 
930 |5 441092107:384331750  |b 441092107  |a L COR 15327  |j s 
998 |a 576349