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