Back

Goal-directed Proof Theory (Applied Logic Series)

Gabbay, Dov M./ Olivetti, N.
215.40 AUD
会員価格
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.

ご注文金額 99.00 AUD以上で国内送料無料

Discount is applied at checkout.

Recently Viewed Items

Related Products