Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /

Bibliographic Details

Main Author:	Wallen, Lincoln A.
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [1990]
Series:	MIT Press series in artificial intelligence.
Subjects:	Proof theory. Modality (Logic) Intuitionistic mathematics.