A Course in Mathematical Logic for Mathematicians - Manin, Yu I. (Springer New York, 2010)