Enlarge

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics

Lincoln A. Wallen

Publication Data

Title Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
Author Lincoln A. Wallen
Publisher MIT Press
Publication date 1990
Publication location Cambridge, Mass.
Language English

Descriptive Notes

Includes indexes.

Topics

Proof theory
Modality (Logic)
008053315

Catalogue Data

OBNB ID GB9145557
ISBN 10 0262231441
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 239 p.
P1042 Bibliography: [228]-234.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics by Lincoln A. Wallen. ISBN 0262231441. Published by MIT Press in 1990. Publication and catalogue information, links to buy online and reader comments.