Title: Effective Mathematics of the Uncountable
Subjects: Logic, symbolic and mathematical, Model theory, Computable functions