"A course in mathematical logic for mathematicians" - читать интересную книгу автора (Yu. I. Manin, Neal Koblitz, B. Zilber)