1 option
Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics / Lincoln A. Wallen.
LIBRA QA9.54 .W35 1990
Available from offsite location
- Format:
- Book
- Author/Creator:
- Wallen, Lincoln A.
- Series:
- MIT Press series in artificial intelligence
- Language:
- English
- Subjects (All):
- Proof theory.
- Modality (Logic).
- Intuitionistic mathematics.
- Physical Description:
- 239 pages : illustrations ; 24 cm.
- Place of Publication:
- Cambridge, Mass. : MIT Press, [1990]
- Notes:
- Bibliography: [228]-234.
- Includes indexes.
- ISBN:
- 0262231441
- OCLC:
- 20351829
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.