| Record ID | ia:higherrecursiont0000sack |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/higherrecursiont0000sack/higherrecursiont0000sack_marc.xml |
| Download MARC binary | https://www.archive.org/download/higherrecursiont0000sack/higherrecursiont0000sack_meta.mrc |
LEADER: 00925cam 2200277 a 4500
001 0116401313386
008 890105s1990 wb b 00100 eng u
010 $a 88035937
020 $a0387193057 (Springer-Verlag New York Berlin Heidelberg : acid-free paper)
020 $a3540193057 (Springer-Verlag Berlin Heidelberg New York : acid free paper)
035 $a(Sirsi) ABI-0253
035 $aA91756$fcc
035 $q3-540-19305-7
040 $aOPET$beng
050 00 $aQA9.6$b.S23 1990
082 00 $a511.3
090 $aQA9.6 .S23 1990$bb
100 1 $aSacks, Gerald E.
245 10 $aHigher recursion theory /$cGerald E. Sacks.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1990.
300 $axv, 344 p. ;$c25 cm.
490 1 $aPerspectives in mathematical logic
500 $aIncludes index.
504 $aBibliography: p. [339]-341.
650 0 $aRecursion theory.
830 0 $aPerspectives in mathematical logic.