Title: Automated deduction in classical and non-classical logics
Subjects: Symbolic and mathematical Logic, Automatic theorem proving, Logic, Artificial intelligence