TY - BOOK AU - Fenstad, Jens Erik TI - GENERAL RECURSION THEORY U1 - 511.3 PY - 1980/// CY - Berlin PB - Springer-Verlag KW - Recursion Theory ER -