|
|
|
|
| LEADER |
00000cam a22000001 4500 |
| 001 |
608899 |
| 003 |
ICU |
| 005 |
20070604112100.0 |
| 008 |
840608s1965 nyu b 00000 eng u |
| 010 |
|
|
|a 65003996 //r84
|
| 040 |
|
|
|a DLC/ICU
|c ICU
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
|
|a QA248.5
|b .D33
|
| 082 |
0 |
|
|a 512.8
|
| 100 |
1 |
|
|a Davis, Martin,
|d 1928-
|e ed.
|0 http://id.loc.gov/authorities/names/n50035603
|1 http://viaf.org/viaf/85381152
|
| 245 |
1 |
4 |
|a The undecidable :
|b basic papers on undecidable propositions, unsolvable problems and computable functions.
|
| 260 |
0 |
|
|a Hewlett, N.Y. :
|b Raven Press,
|c [1965]
|
| 300 |
|
|
|a 440 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
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Recursive functions
|0 http://id.loc.gov/authorities/subjects/sh85112014
|
| 650 |
|
0 |
|a Gödel's theorem
|0 http://id.loc.gov/authorities/subjects/sh85055601
|
| 650 |
|
0 |
|a Turing machines
|0 http://id.loc.gov/authorities/subjects/sh85138778
|
| 650 |
|
0 |
|a Unsolvability (Mathematical logic)
|0 http://id.loc.gov/authorities/subjects/sh85141199
|
| 650 |
|
0 |
|a Computable functions
|0 http://id.loc.gov/authorities/subjects/sh85029469
|
| 650 |
|
7 |
|a Computable functions.
|2 fast
|0 http://id.worldcat.org/fast/fst00871985
|
| 650 |
|
7 |
|a Gödel's theorem.
|2 fast
|0 http://id.worldcat.org/fast/fst00949806
|
| 650 |
|
7 |
|a Recursive functions.
|2 fast
|0 http://id.worldcat.org/fast/fst01091984
|
| 650 |
|
7 |
|a Turing machines.
|2 fast
|0 http://id.worldcat.org/fast/fst01159283
|
| 650 |
|
7 |
|a Unsolvability (Mathematical logic)
|2 fast
|0 http://id.worldcat.org/fast/fst01162046
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 035 |
|
|
|a (OCoLC)232930
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 884c6c3a-3572-5d4a-a417-3e7c440c7cb3
|s 1f34c371-9796-54fa-94a0-e6b50ff2ecd6
|
| 928 |
|
|
|t Library of Congress classification
|a QA248.5.D265
|l ASR
|c ASR-SciASR
|i 1518324
|
| 928 |
|
|
|t Library of Congress classification
|a QA248.5.D265
|l Eck
|c Eck-Eck
|i 1641515
|
| 928 |
|
|
|t Library of Congress classification
|a QA248.5.D265
|l Eck
|c Eck-Eck
|i 1641516
|
| 927 |
|
|
|t Library of Congress classification
|a QA248.5.D265
|l ASR
|c ASR-SciASR
|e CRERAR
|b 10665748
|i 1591419
|
| 927 |
|
|
|t Library of Congress classification
|a QA248.5.D265
|l Eck
|c Eck-Eck
|b 22919420
|i 1591421
|
| 927 |
|
|
|t Library of Congress classification
|a QA248.5.D265
|l Eck
|c Eck-Eck
|b 43352578
|i 1591422
|
