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