TY - BOOK AU - Shoenfield J R TI - Degrees of unsolvability SN - 0-7204-2061-X U1 - 511.35 PY - 1971/// CY - London PB - North-Holland KW - Recursion theory ER -