"Introduction to Mathematical Logic, 6th edition" - читать интересную книгу автора (Elliott Mendelson)