"The Elements of Mathematical Logic" - читать интересную книгу автора (Paul Rosenbloom)