|
Books > Humanities > Philosophy > Topics in philosophy > Logic
|
Buy Now
Reductive Logic and Proof-search - Proof Theory, Semantics, and Control (Hardcover, New)
Loot Price: R4,934
Discovery Miles 49 340
You Save: R453
(8%)
|
|
|
Reductive Logic and Proof-search - Proof Theory, Semantics, and Control (Hardcover, New)
Series: Oxford Logic Guides, 45
Expected to ship within 12 - 17 working days
|
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 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 modern applications in the computational sciences. Suitable
for researchers and graduate students in mathematical,
computational and philosophical logic, and in theoretical computer
science and artificial intelligence, this is the latest in the
prestigous world-renowned Oxford Logic Guides, which contains
Michael Dummet's Elements of intuitionism (2nd Edition), Dov M.
Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic
Mathematical Foundations and Computational Aspects , J. M. Dunn and
G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's
Change, Choice and Inference: A Study of Belief Revision and
Nonmonotonic Reasoning , and P. T. Johnstone's Sketches of an
Elephant: A Topos Theory Compendium: Volumes 1 and 2 .
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
