Lincoln A. Wallen

Bibliography

Waaler, Arild and Wallen, Lincoln A. 1999. “Tableaux for Intuitionistic Logics.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 255–296. Berlin: Springer.
Wallen, Lincoln A. 1990. Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics. Cambridge, Massachusetts: The MIT Press. Number is: qa9.54 .w35 1990.