|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
1510168 |
| 003 |
ICU |
| 005 |
19970812072100.0 |
| 008 |
931029s1993 gw 001 0 eng |
| 010 |
|
|
|a 93034447
|
| 020 |
|
|
|a 3540570934 (Berlin : acid-free) :
|c DM44.00
|
| 020 |
|
|
|a 0387570934 (New York : acid-free)
|
| 035 |
|
|
|a (ICU)BID17572128
|
| 035 |
|
|
|a (OCoLC)28845550
|
| 040 |
|
|
|c DLC
|d DLC$dOrLoB
|
| 050 |
0 |
0 |
|a QA9.6
|b .S48 1993
|
| 082 |
|
|
|a 511.3/5
|2 20
|
| 100 |
1 |
|
|a Shoenfield, Joseph R.
|q (Joseph Robert),
|d 1927-
|0 http://id.loc.gov/authorities/names/n84803518
|1 http://viaf.org/viaf/9940022
|
| 245 |
1 |
0 |
|a Recursion theory /
|c Joseph R. Shoenfield.
|
| 260 |
|
|
|a Berlin ;
|a New York :
|b Springer-Verlag,
|c c1993.
|
| 300 |
|
|
|a 84 p. ;
|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 Lecture notes in logic
|v 1
|
| 504 |
|
|
|a Includes index.
|
| 505 |
0 |
0 |
|g 1.
|t Computability --
|g 2.
|t Functions and Relations --
|g 3.
|t The Basic Machine --
|g 4.
|t Macros --
|g 5.
|t Closure Properties --
|g 6.
|t Definitions of Recursive Functions --
|g 7.
|t Codes --
|g 8.
|t Indices --
|g 9.
|t Church's Thesis --
|g 10.
|t Word Problems --
|g 11.
|t Undecidable Theories --
|g 12.
|t Relative Recursion --
|g 13.
|t The Arithmetical Hierarchy --
|g 14.
|t Recursively Enumerable Relations --
|g 15.
|t Degrees --
|g 16.
|t Evaluation of Degrees --
|g 17.
|t Large RE Sets --
|g 18.
|t Functions of Reals --
|g 19.
|t The Analytical Hierarchy --
|g 20.
|t The Projective Hierarchy.
|
| 650 |
|
0 |
|a Recursion theory
|0 http://id.loc.gov/authorities/subjects/sh85112012
|
| 650 |
|
7 |
|a Recursion theory.
|2 fast
|0 http://id.worldcat.org/fast/fst01091982
|
| 850 |
|
|
|a ICU
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 1edd01a6-24a9-59e9-a03a-57f0c30f973c
|s 24bc48e5-ea9c-52d9-9da7-95249bbe4e03
|
| 928 |
|
|
|t Library of Congress classification
|a QA9.6.S480 1993
|l Eck
|c Eck-Eck
|i 5887275
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.6.S480 1993
|l Eck
|c Eck-Eck
|b 40245467
|i 2907756
|
