Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
Wallen, Lincoln A.
Cambridge, Mass. : MIT Press,
c1990.
Includes indexes.
Bibliography: [228]-234.
Proof theory.
Modality (Logic)
Intuitionistic mathematics.