Reductive Logic and Proof-Search Proof Theory, Semantics, and Control |
|
| Author:
| Pym, David J.
Ritter, Eike |
| Series title: | Oxford Logic Guides |
| ISBN: | 978-0-19-852633-9 |
| Publication Date: | May 2004 |
| Publisher: | Oxford University Press
|
| Book Format: | Hardback |
| List Price: | AUD $294.55AUD $377.00 |
Book Description:
|
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.
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.