A Course in Mathematical Logic for Mathematicians - Manin, Yu I.; Zilber, Boris; Koblitz, Neal; Zilber, B. (Springer New York, 2010)