Automated theorem-proving in non-classical logics.

Thistlewaite, Paul B.

ISBN 10: 0273087819 ISBN 13: 9780273087816
Published by London, Pitman., 1988
Language: English
Condition: Used Soft cover

Sold by Antiquariat Haufe & Lutz, Karlsruhe, BW, Germany

Association Member:

AbeBooks Seller since April 11, 2003

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

View this seller's items


Used - Soft cover

Price: US$ 29.95 Convert Currency
US$ 55.81 shipping from Germany to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket