|
|
|
|
| LEADER |
02776cam a2200793 4500 |
| 001 |
PPN002918587 |
| 003 |
http://www.sudoc.fr/002918587 |
| 005 |
20240516055300.0 |
| 010 |
|
|
|b br.
|d 290 + 260 F
|
| 010 |
|
|
|a 2-225-84079-2
|b vol. 1
|d 290 F
|
| 010 |
|
|
|a 2-225-84080-6
|b vol. 2
|d 260 F
|
| 020 |
|
|
|a FR
|b 09325582
|
| 021 |
|
|
|a FR
|b DL 93-16101
|
| 021 |
|
|
|a FR
|b DL 93-15955
|
| 033 |
|
|
|a http://catalogue.bnf.fr/ark:/12148/cb355798222
|
| 035 |
|
|
|a 01305578X
|9 sudoc
|
| 035 |
|
|
|a (OCoLC)463734734
|
| 035 |
|
|
|a lm75980
|
| 035 |
|
|
|a cor0012525
|
| 035 |
|
|
|a sib0528299
|
| 035 |
|
|
|a DYNIX_BUFDF_3684
|
| 035 |
|
|
|a ocm29324442
|
| 035 |
|
|
|a DYNIX_BUPTP_81450
|
| 035 |
|
|
|a Evry4692
|
| 035 |
|
|
|a DYNIX_BUNAN_151174
|
| 035 |
|
|
|a sib0492272
|
| 035 |
|
|
|a DYNIX_BUNAN_151175
|
| 035 |
|
|
|a DYNIX_BUPF_16921
|
| 035 |
|
|
|a bua3488
|
| 035 |
|
|
|a frBN015374025
|
| 035 |
|
|
|a FRBNF355798220000003
|z FRBNF35579822
|
| 073 |
|
0 |
|a 9782225840791
|
| 100 |
|
|
|a 19930708d1993 k y0frey0103 ba
|
| 101 |
0 |
|
|a fre
|2 639-2
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a y zz 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
|e cours et exercices
|f René Cori,... Daniel Lascar,...
|g préf. de J.-L. Krivine
|
| 214 |
|
0 |
|a Paris
|a Milan
|a Barcelone
|c Masson
|d 1993
|
| 215 |
|
|
|a 2 vol. (385, 347 p.)
|c couv. ill.
|d 24 cm
|
| 225 |
0 |
|
|a Axiomes
|x 1243-4264
|
| 320 |
|
|
|a Bibliogr., t. 1, p. 361-363 et t. 2, p. 323-325. Index
|
| 327 |
1 |
|
|a Vol. 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats
|a Vol. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
|
| 345 |
|
|
|b 9782225840791
|
| 410 |
|
| |
|0 040091066
|t Axiomes (Paris)
|x 1243-4264
|
| 517 |
| |
|
|a Calcul propositionnel, algèbres de Boole, calcul des prédicats
|
| 517 |
| |
|
|a Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
|
| 606 |
|
|
|3 PPN027662799
|a Logique mathématique
|3 PPN027790517
|x Problèmes et exercices
|2 rameau
|
| 675 |
|
|
|a 51
|v Éd. 1967
|
| 676 |
|
|
|a 510
|
| 700 |
|
1 |
|3 PPN056972776
|a Cori
|b René
|4 070
|
| 701 |
|
1 |
|3 PPN032332300
|a Lascar
|b Daniel
|f 1942-....
|4 070
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20240123
|g AFNOR
|h 01305578X
|
| 801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
| 801 |
|
1 |
|a US
|b OCLC
|g AACR2
|
| 801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b BN
|g AFNOR
|
| 979 |
|
|
|a IUTN
|
| 979 |
|
|
|a PHILO
|
| 930 |
|
|
|5 441092107:353677337
|b 441092107
|a L COR (13508)
|j s
|
| 930 |
|
|
|5 441092206:808105787
|b 441092206
|j s
|
| 991 |
|
|
|5 441092206:808105787
|a Exemplaire créé en masse par ITEM. le 18-01-2024 11:24
|
| 998 |
|
|
|a 557641
|
Nantilus
