Manin, Yu I. A course in mathematical logic / - New York: Springer-Verlag, 1977 - xiii, 286p. Index - Graduate texts in Mathematics ; 53 . "Translated from the Russian by Neal Koblitz" Dewey Class. No.: 511.3 / M278.CM