Pure computable model theory, Handbook of Recursive Mathematics (1998)

by V S Harizanov