|
|
|
|
| LEADER |
00000nam a2200000 4500 |
| 001 |
5707513 |
| 005 |
20060127191500.0 |
| 008 |
850204m19671975fr b 000 0 fre |
| 003 |
ICU |
| 015 |
|
|
|a F68-4207 (v. 1)
|
| 035 |
|
|
|a (OCoLC)13466343
|
| 040 |
|
|
|a DLC
|c RBN
|d OCL
|d MUQ
|d UtOrBLW
|
| 049 |
|
|
|a CGUA
|
| 050 |
0 |
|
|a QA9
|b .F64
|
| 082 |
0 |
|
|a 164
|
| 100 |
1 |
|
|a Fraïssé, Roland.
|0 http://id.loc.gov/authorities/names/n85180014
|1 http://viaf.org/viaf/46761172
|
| 245 |
1 |
0 |
|a Cours de logique mathematique.
|
| 260 |
|
|
|a Paris :
|b Gauthier-Villars;
|a Louvain,
|b E. Nauwelaerts,
|c 1967-1975.
|
| 300 |
|
|
|a 3 v.
|c 24 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Collection de logique mathématique
|v sér. A, no. 23-25
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 505 |
0 |
|
|a t. 1. Relation, formule logique, compacité, complétude -- t. 2. Théorie des modèles -- t. 3. Récursivité et constructibilité.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|0 http://id.loc.gov/authorities/subjects/sh85078115
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 http://id.worldcat.org/fast/fst01002068
|
| 901 |
|
|
|a Analytic
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 395f9649-981d-5abc-9a7f-e4e5eb4cd397
|s 5a382b8e-daca-568b-833d-ca4799a310b4
|
| 928 |
|
|
|t Library of Congress classification
|a QA9.C7 ser.A no.23-25
|l ASR
|c ASR-SciASR
|i 590257
|
| 928 |
|
|
|t Library of Congress classification
|a QA9.C7 ser.A no.23 1971ed.
|l ASR
|c ASR-SciASR
|i 590259
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.C7 ser.A no.24
|v v.2
|l ASR
|c ASR-SciASR
|g Analytic
|e CRERAR
|b A11728999
|i 7892216
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.C7 ser.A no.23
|v v.1
|l ASR
|c ASR-SciASR
|g Analytic
|e CRERAR
|b A11622441
|i 7892215
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.C7 ser.A no.25
|v v.3
|l ASR
|c ASR-SciASR
|g Analytic
|e CRERAR
|b A16774499
|i 7892217
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.C7 ser.A no.23 1971ed.
|v v.1
|l ASR
|c ASR-SciASR
|g Analytic
|e CRERAR
|b A19546524
|i 7892218
|
