A course in mathematical logic for mathematicians - Manin, Yu. I.; Koblitz, Neal; Zilber, Boris (New York Springer, 2010)
Keywords: MATHEMATICS; MATHEMATICAL LOGIC