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

by V S Harizanov