"Automated deduction in classical and non-classical logics: selected papers (Lecture Notes in Artificial Intelligence 1761) " - читать интересную книгу автора (Ricardo Caferra, Gernot Salzer)