| Shelfclass_id | 4.B.3 |
| Sortkey | WALLEN, LINCOLN A |
| Authors | Lincoln A. Wallen |
| Title | Automated Proof Search in non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics |
| Publisher | MIT Press |
| Year | c1990 |
| Languages | eng |
| Isbn | 0262231441 |
| Series | MIT Press series in artificial intelligence |
| Description | 239 p. ill. 24 cm. |
| Record date | 20061025 |
| Location | Cambridge, Mass. |
| Keywords | Proof theory, Modality (Logic), Intuitionistic mathematics |
| Notes | Includes indexes: title on cove: Automatic deduction in nonclassical logics |