Course in mathematical logic - Manin Yu I; Koblitz Neal (New York Springer-Verlag, 1977)
Tr. from the Russian
Keywords: Mathematical logic