|
|
|
|
| LEADER |
02398cam a2200649 4500 |
| 001 |
PPN017228980 |
| 003 |
http://www.sudoc.fr/017228980 |
| 005 |
20240604055500.0 |
| 010 |
|
|
|a 2-225-84080-6
|b br.
|
| 010 |
|
|
|z 2-228-84080-6
|
| 035 |
|
|
|a (OCoLC)28351679
|
| 035 |
|
|
|a ocm28351679
|
| 073 |
|
1 |
|a 9782225840807
|
| 100 |
|
|
|a 19930629h19931993k y0frey0103 ba
|
| 101 |
0 |
|
|a fre
|2 639-2
|
| 102 |
|
|
|a FR
|a IT
|a ZZ
|
| 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 |
|
1 |
|6 z01
|a nga
|2 RDAfrCarrier
|
| 200 |
1 |
|
|a Logique mathématique
|h II
|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
|
| 214 |
|
0 |
|a Paris
|a Milan
|a Barcelone [etc.]
|c Masson
|d 1993
|
| 215 |
|
|
|a 1 vol. (XV-347 p.)
|c couv. ill.
|d 24 cm
|
| 225 |
0 |
|
|a Axiomes
|e collection de logique mathématique
|f coordonnée par J.-L. Krivine
|x 1243-426
|
| 305 |
|
|
|a 2ème tirage corrigé : 1994
|
| 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 Gödel, théorie des ensembles, théorie des modèles
|
| 606 |
|
|
|3 PPN027868699
|a Logique mathématique non classique
|2 rameau
|
| 606 |
|
|
|3 PPN027237869
|a Théorie des modèles
|2 rameau
|
| 606 |
|
|
|3 PPN027662799
|a Logique mathématique
|2 rameau
|
| 606 |
|
|
|3 PPN027355330
|a Théorie des ensembles
|2 rameau
|
| 606 |
|
|
|3 PPN027814688
|a Fonctions récursives
|2 rameau
|
| 606 |
|
|
|3 PPN027351432
|a Gödel, Théorème de
|2 rameau
|
| 608 |
|
|
|3 PPN027790517
|a Problèmes et exercices
|2 rameau
|
| 676 |
|
|
|a 511.3
|
| 680 |
|
|
|a QA9.8
|
| 686 |
|
|
|a F.4
|2 acm
|
| 686 |
|
|
|a 03-01
|c 2000
|2 msc
|
| 686 |
|
|
|a 03D20
|c 2000
|2 msc
|
| 686 |
|
|
|a 03C07
|c 2000
|2 msc
|
| 686 |
|
|
|a 03E30
|c 2000
|2 msc
|
| 686 |
|
|
|a 03F30
|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 |
|
1 |
|a US
|b OCLC
|g AACR2
|
| 801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20210128
|g AFNOR
|
| 979 |
|
|
|a PHILO
|
| 979 |
|
|
|a CCFA
|
| 930 |
|
|
|5 441092107:622936069
|b 441092107
|j s
|
| 930 |
|
|
|5 441092208:820777595
|b 441092208
|j u
|
| 998 |
|
|
|a 825314
|
Nantilus
