Course in mathematical logic for mathematicians - Manin Yu I (New York Springer-Verlag, 2010)
Chapters I-VIII translated from the Russian by Neal Koblitz
Keywords: Mathematical logic; Symbolic logic