Title: Definability and computability
First published: 1996
Subjects: Definability theory (Mathematical logic), Computable functions
LC classification: QA9.59 .E78 1996