Books listed by ISBN
>
The MIT Press
> Lincoln A. Wallen
Lincoln A. Wallen
title
ISBN-13
(ISBN-10)
year of publication
Automated Deduction in Nonclassical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics
978-O-262-23144-2
(O-262-23144-1)
1989
A. W.
·
L a
·
L. W.
·
Lincoln Wallen
Lincoln A01Child