Back

Goal-directed Proof Theory (Applied Logic Series)

Gabbay, Dov M./ Olivetti, N.
109.99 USD
Member Price
99.00
English

Product Description

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.

... Read Full Text

Available to Order

Usually dispatches within 8-10 business days

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 50.00USD

Discount is applied at checkout.

Recently Viewed Items

Related Products