Automated Deduction in Classical and Non-Classical Logics: Selected Papers: New

Automated Deduction in Classical and Non-Classical Logics : Selec

Classical and Nonclassical Logics: An Introduction to the Mathematics of Pro...

Classical and Nonclassical Logics: An - Hardcover, by Schechter Eric - Very Good

Automated Deduction in Nonclassical Logics - Lincoln A. Wallen Hardcover

Classical and Nonclassical Logics - 9780691122793

CLASSICAL AND NONCLASSICAL LOGICS HC (2005) Eric Schechter

Automated Deduction CADE-20: 20th International Conference on Automated Deductio