Title: Computable Analysis
Subjects: Recursion theory, Computable functions, Mathematical analysis, Global analysis (Mathematics), Symbolic and mathematical Logic, Computer science, Computer software