Home › Authors › Rich Scherl 👤 Rich Scherl 1 book Books by Rich Scherl Automated Deduction in Nonstan Automated Deduction in Nonstandard Logics 1994