Title: Computable analysis
First published: 1980
Subjects: Recursion theory, Mathematical analysis
LC classification: QA9.6 .A23