Higher recursion theory

LDR 00757nam a2200253 a 4500
001 002370701
003 MiAaHDL
005 20210817000000.0
006 m d
007 cr bn ---auaua
008 910304s1990 wb b 00110 eng
010 ‡a88035937
020 ‡a0387193057 ‡q(U.S.)
035 ‡a(MiU)990023707010106381
035 ‡asdr-miu.990023707010106381
035 ‡a(OCoLC)19130395
035 ‡z(MiU)Aleph002370701
040 ‡aDLC ‡cDLC ‡dEYM
050 0 0 ‡aQA9.6 ‡b.S23 1990
082 0 0 ‡a511.3 ‡219
100 1 ‡aSacks, Gerald E.
245 1 0 ‡aHigher recursion theory / ‡cGerald E. Sacks.
260 ‡aBerlin ; ‡aNew York : ‡bSpringer-Verlag, ‡cc1990.
300 ‡axv, 341 p. ; ‡c25 cm.
490 0 ‡aPerspectives in mathematical logic
500 ‡aIncludes index.
504 ‡aBibliography: p. [339]-341.
538 ‡aMode of access: Internet.
650 0 ‡aRecursion theory.
CID ‡a002370701
DAT 0 ‡a19910304000000.0 ‡b20210817000000.0
DAT 1 ‡a20210918060716.0 ‡b2023-11-08T18:40:49Z
CAT ‡aSDR-MIU ‡dALMA ‡lprepare.pl-004-008
FMT ‡aBK
HOL ‡0sdr-miu.990023707010106381 ‡aMiU ‡bSDR ‡cMIU ‡pmdp.39015019558645 ‡sMIU ‡1990023707010106381
974 ‡bMIU ‡cMIU ‡d20231108 ‡sgoogle ‡umdp.39015019558645 ‡y1990 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929