"A course in mathematical logic" - читать интересную книгу автора (John Bell, Moshe Machover)