A Course in mathematical Logic for mathematicians - Manin, Yu. I. (Graduate Texts in Mathematics,, 2010)