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"

511.3 / M278.CM