Reductive Logic and Proof-Search

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...

Be the first to write a review

Reductive Logic and Proof-Search

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.

Overview: Reductive Logic and Proof-Search

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.