|
|
|
|
| LEADER |
00000cam a22000001 4500 |
| 001 |
b1188047 |
| 003 |
CoU |
| 005 |
20230301061227.0 |
| 008 |
840213s1967 nyua b 001 0 eng |
| 010 |
|
|
|a 65025921
|
| 035 |
|
|
|a (OCoLC)ocm00527706
|
| 035 |
|
|
|a (OCoLC)527706
|
| 040 |
|
|
|a DLC/ICU
|b eng
|c CGU
|d DLC
|d UKM
|d NLGGC
|d LVB
|d DRB
|d CNTRU
|d NIALS
|d ZWZ
|d GBVCP
|d OCLCF
|d OCLCO
|d OCLCQ
|d MNY
|d DHA
|d OCLCQ
|d CSA
|d OCLCQ
|d CPO
|d SNN
|d OCLCQ
|d CUS
|d UKMGB
|d DCHUA
|d OCLCQ
|d NAG
|d OCLCQ
|d UKBTH
|d OCLCQ
|d IL4J6
|d OCLCO
|
| 049 |
|
|
|a CODA
|
| 050 |
0 |
0 |
|a QA248.5
|b .R6
|
| 100 |
1 |
|
|a Rogers, Hartley,
|c Jr.,
|d 1926-2015,
|e author.
|0 http://id.loc.gov/authorities/names/n83828758
|1 http://isni.org/isni/0000000109205131.
|
| 245 |
1 |
0 |
|a Theory of recursive functions and effective computability.
|
| 260 |
|
|
|a New York :
|b McGraw-Hill,
|c [1967]
|
| 300 |
|
|
|a xix, 482 pages :
|b illustrations ;
|c 23 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia.
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier.
|
| 490 |
1 |
|
|a McGraw-Hill series in higher mathematics.
|
| 500 |
|
|
|a "A portion of the material ... appeared, in somewhat different order and form, as Theory of recursive functions and effective computability, volume I ... in 1957."
|
| 504 |
|
|
|a Includes bibliographical references (pages 459-468) and indexes.
|
| 505 |
0 |
|
|a 1. Recursive functions -- 2. Unsolvable problems -- 3. Purposes: summary -- 4. Recursive invariance -- 5. Recursive and recursively enumerable sets -- 6. Reducibilities -- 7. One-one reducibility; many-one reducibility; creative sets -- 8. Truth-table reducibilities; simple sets -- 9. Turing reducibility; hypersimple sets -- 10. Post's problem; incomplete sets -- 11. The recursion theorem -- 12. Recursively enumerable sets as a lattice -- 13. Degrees of solvability -- 14. The arithmetical hierarchy (part 1) -- 15. The arithmetical hierarchy (part 2) -- 16. The analytical hierarchy.
|
| 590 |
|
|
|a @ Engine [c.1]
|
| 590 |
|
|
|a MathPhys c.2.
|
| 650 |
|
0 |
|a Recursive functions.
|0 http://id.loc.gov/authorities/subjects/sh85112014.
|
| 650 |
|
0 |
|a Computable functions.
|0 http://id.loc.gov/authorities/subjects/sh85029469.
|
| 650 |
|
7 |
|a Computable functions.
|2 fast
|0 (OCoLC)fst00871985.
|
| 650 |
|
7 |
|a Recursive functions.
|2 fast
|0 (OCoLC)fst01091984.
|
| 776 |
0 |
8 |
|i Online version:
|a Rogers, H. (Hartley), 1926-
|t Theory of recursive functions and effective computability.
|d New York, McGraw-Hill [1967]
|w (OCoLC)559483934.
|
| 830 |
|
0 |
|a McGraw-Hill series in higher mathematics.
|0 http://id.loc.gov/authorities/names/n83826009.
|
| 907 |
|
|
|a .b11880478
|b 04-03-23
|c 11-15-94
|
| 998 |
|
|
|a eng
|b 03-21-95
|c -
|d m
|e -
|f eng
|g nyu
|h 0
|i 2
|
| 907 |
|
|
|a .b11880478
|b 03-28-23
|c 11-15-94
|
| 944 |
|
|
|a MARS - RDA ENRICHED
|
| 948 |
|
|
|a bslw22/23 : mar : ss
|
| 907 |
|
|
|a .b11880478
|b 10-23-18
|c 11-15-94
|
| 907 |
|
|
|a .b11880478
|b 06-15-11
|c 11-15-94
|
| 907 |
|
|
|a .b11880478
|b 04-14-06
|c 11-15-94
|
| 948 |
|
|
|a cwd10/11 : feb : mw : from mph=c.2
|
| 999 |
f |
f |
|i bfbb181d-cb06-5b36-af1c-b52c61ae16eb
|s cbe15760-c0b4-5fa0-88b7-9b2c1e555cad
|
| 952 |
f |
f |
|p Can circulate
|a University of Colorado Boulder
|b Boulder Campus
|c Engineering Math & Physics
|d Closed Stacks - Engineering Math & Physics Library - Stacks
|e QA248.5 .R6
|h Library of Congress classification
|i book
|m U183040586795
|n 1
|
