Title: Handbook of Recursive Mathematics : Volume 1
Subtitle: Recursive Model Theory (Studies in Logic and the Foundations of Mathematics)