"Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)" - читать интересную книгу автора (Lincoln A. Wallen)