Computable structures and the hyperarithmetical hierarchy - Ash C J; Knight J (Amsterdam Elsevier, 2000)
Keywords: Mathematical logic