Reductive Logic and Proof-Search

Reductive Logic and Proof-Search : Proof Theory, Semantics, and Control

  • Electronic book text
By (author)  , By (author) 

List price: US$215.32

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Product details

  • Electronic book text
  • Clarendon Press
  • Oxford, United Kingdom
  • 143562078X
  • 9781435620780