Title: Automated Deduction in Nonstandard Logics
Subjects: Logic, symbolic and mathematical