"Automated Deduction in Classical and Non-Classical Logics: Selected Papers " - читать интересную книгу автора (Ricardo Caferra, Gernot Salzer)