|
|
|
|
| LEADER |
00000nam a22000001 4500 |
| 001 |
652656 |
| 003 |
ICU |
| 005 |
19950903000000.0 |
| 008 |
850213s1959 ne b 00000 eng u |
| 010 |
|
|
|a 63000804 //r84
|
| 035 |
|
|
|a (ICU)BID8533582
|
| 035 |
|
|
|a (OCoLC)4097062
|
| 040 |
|
|
|a DLC/ICU
|c ICU
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
|
|a BC199.D4
|b B6
|
| 100 |
1 |
|
|a Bouvère, Karel Louis de
|0 http://id.loc.gov/authorities/names/n84806225
|1 http://viaf.org/viaf/70346950
|
| 245 |
1 |
2 |
|a A method in proofs of undefinability,
|b with applications to functions in the arithmetic of natural numbers.
|
| 260 |
0 |
|
|a Amsterdam,
|b North-Holland Pub. Co.,
|c 1959.
|
| 300 |
|
|
|a vi, 64 p.
|c 25 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
|
| 500 |
|
|
|a Without thesis statement.
|
| 502 |
|
|
|a Academic thesis--Amsterdam.
|
| 504 |
|
|
|a Bibliography: p. 59-60.
|
| 650 |
|
0 |
|a Definition (Philosophy)
|0 http://id.loc.gov/authorities/subjects/sh85036458
|
| 650 |
|
0 |
|a Gödel's theorem
|0 http://id.loc.gov/authorities/subjects/sh85055601
|
| 650 |
|
7 |
|a Definition (Philosophy)
|2 fast
|0 http://id.worldcat.org/fast/fst01715713
|
| 650 |
|
7 |
|a Gödel's theorem.
|2 fast
|0 http://id.worldcat.org/fast/fst00949806
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 83cae704-47fc-57a5-b09c-af27e1d13aa5
|s ea20bb70-dfdc-59eb-a84f-f69c76ec94d2
|
| 928 |
|
|
|t Library of Congress classification
|a QA9.B8
|l ASR
|c ASR-SciASR
|i 1980905
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.B8
|l ASR
|c ASR-SciASR
|e CRERAR
|b 57062192
|i 1666474
|
