Title: Automated theorem-proving in non-classical logics
Subjects: Automatic theorem proving, Nonclassical mathematical logic, Automatische bewijsvoering, Automatisches Beweisverfahren, Nichtklassische Logik, Logic, symbolic and mathematical