Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen.
Material type: TextSeries: MIT Press series in artificial intelligencePublication details: Cambridge, Mass. : MIT Press, c1990Description: 239 p. : illISBN: 0262231441Subject(s): Proof theory | Modality (Logic) | Intuitionistic mathematicsLOC classification: QA9.54 | .W35 1990Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Main Campus General Collection | General collection | QA9.54 .W35 1990 (Browse shelf(Opens below)) | Available | CN | 14143 |
Includes indexes.
There are no comments on this title.