|
|
|
|
| LEADER |
03036cam a2200637 4500 |
| 001 |
PPN06945809X |
| 003 |
http://www.sudoc.fr/06945809X |
| 005 |
20240604055500.0 |
| 010 |
|
|
|a 2-1000-5453-8
|b br.
|d 39 EUR
|
| 010 |
|
|
|a 978-2-1008-0770-3
|b br.
|b 2019
|d 42,5 EUR
|
| 035 |
|
|
|a (OCoLC)492147421
|
| 035 |
|
|
|a DYNIX_BUNAN_497611
|
| 073 |
|
1 |
|a 9782100054534
|
| 073 |
|
1 |
|a 9782100807703
|
| 100 |
|
|
|a 20030129h20032003k y0frey0103 ba
|
| 101 |
0 |
|
|a fre
|2 639-2
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a y ja 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 corrigés
|f René Cori,... Daniel Lascar,...
|g préface de Jean-Louis Krivine
|
| 214 |
|
0 |
|a Paris
|c Dunod
|d DL 2003
|
| 215 |
|
|
|a 1 vol. (XV-347 p.)
|c couv. ill. en coul.
|d 24 cm
|
| 225 |
0 |
|
|a Sciences sup
|i Mathématiques
|
| 305 |
|
|
|a Autres tirages : 2005, 2008, 2011, 2013, 2015, 2017, 2019 (nouvelle présentation)
|
| 305 |
|
|
|a Réédition de l'édition originale publiée en 1993 aux Editions Masson dans la collection Axiomes, coordonnée par J.-L. Krivine
|
| 312 |
|
|
|a La couv. porte en plus : "Licence 3, master"
|
| 320 |
|
|
|a Bibliogr. p. [323]-325. Index
|
| 330 |
|
|
|a Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.
|2 4e de couverture
|
| 359 |
2 |
|
|b Chapitre 5. Récursivité
|b Chapitre 6. Formalisation de l'arithmétique. Théorèmes de Gödel
|b Chapitre 7. Théorie des ensembles
|b Chapitre 8. Un peu de théorie des modèles -
|b Solutions des exercices du tome II.
|
| 410 |
|
| |
|0 013680803
|t Sciences sup
|x 1636-2217
|
| 517 |
| |
|
|a Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
|e cours et exercices corrigés
|
| 606 |
|
|
|3 PPN027814688
|a Fonctions récursives
|2 rameau
|
| 606 |
|
|
|3 PPN027351432
|a Gödel, Théorème de
|2 rameau
|
| 606 |
|
|
|3 PPN027355330
|a Théorie des ensembles
|2 rameau
|
| 606 |
|
|
|3 PPN027237869
|a Théorie des modèles
|2 rameau
|
| 606 |
|
|
|3 PPN040733793
|a Logique
|2 fmesh
|
| 606 |
|
|
|3 PPN040736776
|a Mathématiques
|2 fmesh
|
| 608 |
|
|
|3 PPN03020934X
|a Manuels d'enseignement supérieur
|2 rameau
|
| 608 |
|
|
|3 PPN027790517
|a Problèmes et exercices
|2 rameau
|
| 676 |
|
|
|a 511.3
|v 21
|
| 686 |
|
|
|a 03Bxx
|c 2000
|2 msc
|
| 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 Electre
|c 20200210
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b Electre
|c 20200325
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20210128
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b Electre
|c 20020429
|g AFNOR
|
| 979 |
|
|
|a SCI
|
| 930 |
|
|
|5 441092104:792299493
|b 441092104
|j u
|
| 998 |
|
|
|a 4815
|
Nantilus
