Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)

by Lincoln A. Wallen Hardcover details (USA). ISBN: 978-0-262-23144-2 ISBN-10: 0-262-23144-1 The MIT Press · 1989