"A Friendly Introduction to Mathematical Logic" - читать интересную книгу автора (Christopher C. Leary)