Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by ImportBot
September 11, 2018 | History

Automated Deduction in Nonclassical Logics 1 edition

Cover of: Automated Deduction in Nonclassical Logics | Lincoln A. Wallen

No ebook available.


Prefer the physical book? Check nearby libraries with:


Buy this book

Amazon
Better World Books $30.48 (used)

There is only 1 edition record, so we'll show it here...  •  Add edition?

Automated Deduction in Nonclassical Logics
Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)

Published December 18, 1989 by The MIT Press .
Written in English.

The Physical Object

Format
Hardcover
Number of pages
255
Dimensions
9.5 x 7.5 x 1 inches
Weight
1.6 pounds

ID Numbers

Open Library
OL10237744M
Internet Archive
automateddeducti00wall
ISBN 10
0262231441
ISBN 13
9780262231442

History Created December 10, 2009 · 2 revisions Download catalog record: RDF / JSON

September 11, 2018 Edited by ImportBot import new book
December 10, 2009 Created by WorkBot add works page