LEADER 01030nam 2200361zu 450 001 9910482880203321 005 20210807004743.0 035 $a(CKB)3580000000001798 035 $a(SSID)ssj0000508740 035 $a(PQKBManifestationID)12214342 035 $a(PQKBTitleCode)TC0000508740 035 $a(PQKBWorkID)10563173 035 $a(PQKB)11335760 035 $a(EXLCZ)993580000000001798 100 $a20160829d1980 uy 101 0 $aeng 181 $ctxt 182 $cc 183 $acr 200 10$aGeneral Recursion Theory: An Axiomatic Approach 210 31$a[Place of publication not identified]$cSpringer$d1980 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-09349-4 311 $a0-387-09349-4 676 $a511/.3 700 $aFenstad$b Jens Erik$046025 702 $aHermes$b Hans 702 $aGandy$b R. O$g(Robin O.) 801 0$bPQKB 906 $aBOOK 912 $a9910482880203321 996 $aGeneral recursion theory$9353883 997 $aUNINA