Reductive Logic and Proof-Search: Proof Theory, Semantics, and ControlThis 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. Author: David J. Pym, Eike Ritter Publisher: Clarendon Press Published: 06
Shopping security
Each payment you make on thelockerguy is secured with strict SSL encryption and PCI DSS data protection protocols
product description
Why choose thelockerguy wholesale?
Show More
Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control