01030nam 2200361zu 450 991048288020332120210807004743.0(CKB)3580000000001798(SSID)ssj0000508740(PQKBManifestationID)12214342(PQKBTitleCode)TC0000508740(PQKBWorkID)10563173(PQKB)11335760(EXLCZ)99358000000000179820160829d1980 uy engtxtccrGeneral Recursion Theory: An Axiomatic Approach[Place of publication not identified]Springer1980Bibliographic Level Mode of Issuance: Monograph3-540-09349-4 0-387-09349-4 511/.3Fenstad Jens Erik46025Hermes HansGandy R. O(Robin O.)PQKBBOOK9910482880203321General recursion theory353883UNINA