Automated deduction by W. Bibel | Menrva Books | MenrvaBooks