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