Automated Deduction in Nonclassical Logics - Lincoln A. Wallen Hardcover

Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lect

CLASSICAL AND NONCLASSICAL LOGICS HC (2005) Eric Schechter

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

Automated Deduction in Classical and Non-Classical Logics: Selected Papers by Ri

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

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

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