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