Recursive model theory - Ershov, Yu. L. (Studies in logic and the foundations of mathematics ; ;, 1998)