"The Logic Book 4th Ed Solutions Manual" - читать интересную книгу автора (Merrie Bergmann)