LEADER 01214nam2-2200373---450- 001 990003229020203316 005 20091110113646.0 010 $a0-7204-22760 035 $a000322902 035 $aUSA01000322902 035 $a(ALEPH)000322902USA01 035 $a000322902 100 $a20090427d1974----km-y0itay50------ba 101 $aeng 102 $aNL 105 $a||||||||001yy 200 1 $aGeneralized recursion theory$eproceedings of the 1972 Oslo symposium$fedited by J.E. Fenstad and P.G. Hinman$gH.J. Keisler...[et al.] (Eds.) 210 $aAmsterdam$cNorth-Holland$d1974 215 $aX, 404 p.$cill.$d23 cm 225 2$aStudies in logic and the foundations of mathematics$v79 410 1$1001000334586$12001$aStudies in logic and the foundations of mathematics$v79 606 0 $aLogica matematica 676 $a511.3 702 1$aFENSTAD,$bJ.E. 702 $aHINMAN,$bP.G. 801 0$aIT$bsalbc$gISBD 912 $a990003229020203316 951 $a510 SL 79$b1151/CBS$c510$d00218719 959 $aBK 969 $aSCI 979 $aRSIAV7$b90$c20090427$lUSA01$h1245 979 $aRSIAV6$b90$c20091110$lUSA01$h1136 996 $aGeneralized recursion theory$9353885 997 $aUNISA