Availability: This product is currently out of stock.
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming...
Warning: prices, links and product specifications for Reductive Logic and Proof-Search are submitted by our listed stores. Please notify us if you find any errors.
Search hundreds of online stores that deliver to Sydney, Brisbane, Melbourne, Canberra, Perth, and all over Australia and find the best offers for Reductive Logic and Proof-Search book. Only on ShopMania you can find the lowest Reductive Logic and Proof-Search prices available, learn about the latest discounts and compare books deals. Here you can browse through the Reductive Logic and Proof-Search photo gallery, find out all about its features and specs and read the product reviews and user comments from our community.