Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics \ Automated Deduction: In Nonclassical Logics.

Wallen, Lincoln

Published by MIT, Cambridge, Massachusetts , London, 1990
Condition: Used Hardcover

Sold by The Book Gallery, Jerusalem, Israel

AbeBooks Seller since 11 June 2002

Seller rating 2 out of 5 stars 2-star rating, Learn more about seller ratings

View this seller's items


Used - Hardcover

Price:
£ 49.07
£ 44.13 shipping
Ships from Israel to U.S.A.

Currently unavailable on AbeBooks.co.uk

Find this item on AbeBooks.com

Go to AbeBooks.com