TY - BOOK AU - Sacks Gerald E TI - Higher recursion theory SN - 3-540-19305-7 U1 - 511.35 PY - 1990/// CY - Berlin PB - Springer-Verlag KW - Recursion theory ER -