Pay in 4 interest-free payments of $41.14 Learn more
Ships within 48 hours · Estimated delivery Jul 27 - Aug 1
How can we sustain lasting human connections
and drives innovation
- Trust experienced authors and teachers to guide you through the required topics and facts
Reductive Logic and Proof-search business professionals How can we sustain lastingThis 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 important in computer science. A systematic foundational text on these emerging topics, it includes proof theoretic, semantic model theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its
US$ 421.00
US$ 34.95
US$ 18.00
US$ 19.95
US$ 24.00
US$ 21.95
US$ 408.50
US$ 479.00
US$ 360.00
US$ 403.50
US$ 24.00
US$ 372.50
US$ 117.50