Title: Computable structures and the hyperarithmetical hierarchy
First published: 2000
Subjects: Computable functions
LC classification: QA9.59 .A84 2000