TY - BOOK AU - Ash C J AU - Knight J TI - Computable structures and the hyperarithmetical hierarchy SN - 0-444-50072-3 U1 - 511.3 PY - 2000/// CY - Amsterdam PB - Elsevier KW - Mathematical logic ER -