"A Course in Mathematical Logic for Mathematicians" - читать интересную книгу автора (Yu. I. Manin, Neal Koblitz, B. Zilber)