Automated proof search in non-classicallogics
Subtitle: efficient matrix proof methods for modal and intuitionistic logics
By: Lincoln A. Wallen.
Publisher: MIT Press
Published: 1990
Place of publication: Cambridge, Mass; London
Language: eng
Number of pages: 239
Notes: Includes indexes.

Spine title: Automated deduction in nonclassical logics.

Bibliography: (228)-234.