Cita APA (7a ed.)

Wallen, L. A. (1989). Automated proof search in non-classical logics: Efficient matrix proof methods for modal and intuitionistic logics. Massachusetts institute of technology.

Cita Chicago Style (17a ed.)

Wallen, Lincoln A. Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. Cambridge: Massachusetts institute of technology, 1989.

Cita MLA (8a ed.)

Wallen, Lincoln A. Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. Massachusetts institute of technology, 1989.