"A Mathematical Introduction to Logic, Second Edition" - читать интересную книгу автора (Herbert B. Enderton)