Wallen, L. A. (1990). Automated proof search in non-classical logics: Efficient matrix proof methods for modal and intuitionistic logics. MIT Pr.
Chicago-Zitierstil (17. Ausg.)Wallen, Lincoln A. Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. Cambridge, Mass. u.a: MIT Pr, 1990.
MLA-Zitierstil (9. Ausg.)Wallen, Lincoln A. Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. MIT Pr, 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.