LEADER 00980nam0-22003371i-450- 001 990000991660403321 005 20070123110915.0 010 $a0-7204-22760 035 $a000099166 035 $aFED01000099166 035 $a(Aleph)000099166FED01 035 $a000099166 100 $a20001205d1974----km-y0itay50------ba 101 0 $aeng 102 $aNL 200 1 $aGeneralized recursion theory$eproceedings of the 1972 Oslo Symposium$fedited by J.E. Fenstad and P.G. Hinman 210 $aAmsterdam [etc.]$cNorth-Holland$d1974 215 $aVIII, 456 p.$d23 cm 225 1 $aStudies in logic and the foundations of mathematics$v79 610 0 $aLogica 610 0 $aRicorsività 676 $a160 702 1$aFenstad,$bJens Erik 702 1$aHinman,$bPeter G. 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000991660403321 952 $a7-150$b9458$fFI1 959 $aFI1 996 $aGeneralized recursion theory$9353885 997 $aUNINA