|
|
|
|
| LEADER |
00000nam a22000001 4500 |
| 001 |
897634 |
| 003 |
ICU |
| 005 |
19950906000000.0 |
| 008 |
880513s1968 ne b 00000 eng u |
| 010 |
|
|
|a 68132612 //r88
|
| 015 |
|
|
|a Ne68-28
|
| 035 |
|
|
|a (ICU)BID11298745
|
| 035 |
|
|
|a (OCoLC)526313
|
| 040 |
|
|
|a DLC
|c DLC
|d ICU
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
|
|a QA9
|b .T33 1968
|
| 082 |
|
|
|a 164
|
| 100 |
1 |
|
|a Tarski, Alfred
|1 http://viaf.org/viaf/88667191
|
| 245 |
1 |
0 |
|a Undecidable theories.
|c In collaboration with Andrzej Mostowski and Raphael M. Robinson.
|
| 250 |
|
|
|a [2d printing]
|
| 260 |
0 |
|
|a Amsterdam,
|b North-Holland Pub. Co.,
|c 1968.
|
| 300 |
|
|
|a xi, 101 p.
|c 23 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
|
| 350 |
|
|
|a fl15.-
|
| 440 |
|
0 |
|a Studies in logic and the foundations of mathematics
|
| 504 |
|
|
|a Bibliography: p. 89-91.
|
| 650 |
|
0 |
|a Gödel's theorem
|0 http://id.loc.gov/authorities/subjects/sh85055601
|
| 650 |
|
7 |
|a Gödel's theorem.
|2 fast
|0 http://id.worldcat.org/fast/fst00949806
|
| 700 |
1 |
0 |
|a Mostowski, Andrzej
|0 http://id.loc.gov/authorities/names/n50006650
|1 http://viaf.org/viaf/5059777
|
| 700 |
1 |
0 |
|a Robinson, Raphael M.
|q (Raphael Mitchel),
|d 1911-
|0 http://id.loc.gov/authorities/names/n88636278
|1 http://viaf.org/viaf/119628291
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 4e4124e5-e7e3-524e-a711-9dce55df022f
|s feb7ce37-4289-583f-a139-9902d825f1a2
|
| 928 |
|
|
|t Library of Congress classification
|a QA9.S92T21 1968
|l ASR
|c ASR-SciASR
|i 1580617
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.S92T21 1968
|l ASR
|c ASR-SciASR
|e CRERAR
|b 11623744
|i 2088414
|
