Recursive Model Theory - Ershov, Yu L. (North Holland [Imprint])