"A Course in Mathematical Logic" - читать интересную книгу автора (John Bell, Moshé Machover)