Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
Free Shipping to all UK customers for orders over £25.00
Product Categories
My Shopping Cart
You shopping cart is empty
You may browse our offerings to locate what you're searching for, then put it in your shopping cart.
Reductive Logic and Proof-search
By Eike Ritter
Usually dispatched within 3 - 5 business days.
£ 175.50
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.