|
|
|
|
| LEADER |
00000nam a2200000 i 4500 |
| 001 |
761909 |
| 003 |
ICU |
| 005 |
19950904000000.0 |
| 008 |
860527s1980 enka b 00110 eng u |
| 010 |
|
|
|a 79027819 //r85
|
| 020 |
|
|
|a 9027710465
|
| 035 |
|
|
|a (ICU)BID9759054
|
| 035 |
|
|
|a (OCoLC)5942174
|
| 040 |
|
|
|a DLC
|c DLC
|d ICU
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
|
|a QA9.8
|b .W4
|
| 082 |
|
|
|a 510/.1
|
| 100 |
1 |
|
|a Webb, Judson Chambers,
|d 1936-
|0 http://id.loc.gov/authorities/names/n80017468
|1 http://viaf.org/viaf/72684857
|
| 245 |
1 |
0 |
|a Mechanism, mentalism, and metamathematics :
|b an essay on finitism /
|c Judson Chambers Webb.
|
| 260 |
0 |
|
|a Dordrecht ;
|a Boston :
|b D. Reidel,
|c c1980.
|
| 300 |
|
|
|a xiii, 277 p. :
|b ill. ;
|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
|
| 490 |
0 |
|
|a Synthese library ; v. 137
|
| 500 |
|
|
|a Includes indexes.
|
| 504 |
|
|
|a Bibliography: p. 248-263.
|
| 650 |
|
0 |
|a Metamathematics.
|0 http://id.loc.gov/authorities/subjects/sh85084269
|
| 650 |
|
0 |
|a Incompleteness theorems
|0 http://id.loc.gov/authorities/subjects/sh85064795
|
| 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
|
| 650 |
|
7 |
|a Incompleteness theorems.
|2 fast
|0 http://id.worldcat.org/fast/fst00968811
|
| 650 |
|
7 |
|a Metamathematics.
|2 fast
|0 http://id.worldcat.org/fast/fst01018261
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 247140a7-484f-50bd-800b-f38e8d1438d8
|s dfff9549-4df5-5111-a0de-6476b1988db7
|
| 928 |
|
|
|t Library of Congress classification
|a QA9.8.W40
|l Eck
|c Eck-Eck
|i 1552713
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.8.W40
|l Eck
|c Eck-Eck
|b 25866271
|i 1841365
|
