$Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics \ Automated Deduction: In Noncla...: Wallen, Lincoln$

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

Save for Later

Sold by The Book Gallery, Jerusalem, Israel

AbeBooks Seller since June 11, 2002

Seller rating 4 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Price:

US$ 64.00

US$ 54.85 shipping
Ships from Israel to U.S.A.

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

235x180 mm. 239 pages. Hardcover with nylon jacket. in good condition. The book is in : English.

Seller Inventory # AR 542 003

Contact seller

Report this item

Bibliographic Details

Title: Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics \ Automated Deduction: In Nonclassical Logics.
Publisher: MIT, Cambridge, Massachusetts , London
Publication Date: 1990
Binding: Hardcover
Dust Jacket Condition: Dust Jacket Included

Store Description

The Book Gallery is one of the largest second-hand book stores in Jerusalem, Israel. We specialize on out of print books, antiquities, etc..

Visit Seller's Storefront

Seller's business information

The Book Gallery
Israel

Sale & Shipping Terms

Terms of Sale

We Accept the following credit cards:
American Express, Visa, Master Card, Diners, Eurocard.
Purchase can be arranged by e-mail, phone or fax.

Shipping Terms

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. All our books are sent by registered post and can be tracked through the internet.

Shipping rates from Israel to U.S.A.

Shipping rates from Israel to U.S.A.
Order quantity	21 to 28 business days	7 to 14 business days
First item	US$ 54.85	US$ 103.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment Methods

Add to Wants