Automated proof search in non-classical logics: efficient matrix proof methods for modal and intuitionistic logics
Saved in:
Bibliographic Details
Main Author: Wallen, Lincoln A. (Author)
Format: Book
Language:English
Published: Cambridge, Mass. u.a. MIT Pr. 1990
Series:MIT Press series in artificial intelligence
Subjects:
Physical Description:239 S.
ISBN:0262231441

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!