| |
Speichern
TY - `BOOK` AU - Hinman, Peter G. TI - Recursion-theoretic hierarchies PB - Springer CY - Berlin, Heidelberg [usw.] PY - 1978 LA - eng SE - XII, 480 S. T2 - Perspectives in mathematical logic SN - 3-540-07904-1 SN - 0-387-07904-1 SN - 978-0-387-07904-2 SN - 978-3-540-07904-0 KW - Rekursionstheorie KW - Mathematische Logik KW - Rekursivität CN - Hinma CN - <PI> 120 Hinm AN - UBHD-1084825 ER -
