"The Logic Book" - читать интересную книгу автора (Bergmann)