Title: Computable models
Subjects: Model theory, Computable functions, Abstract data types (computer science), Logic, symbolic and mathematical