Back

Goal-directed Proof Theory (Applied Logic Series)

Gabbay, Dov M./ Olivetti, N.
215.40 AUD
Member Price
193.86
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

Availability Status

Usually dispatches within 3-4 weeks

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 99.00AUD

Discount is applied at checkout.

Recently Viewed Items

Related Products