Reductive logic and proof-search proof theory, semantics, and control
Discusses 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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Oxford
Clarendon
2004, 2004
|
| Series: | Oxford logic guides / Oxford logic guides
|
| Subjects: | |
| Online Access: | |
| Collection: | Oxford University Press - Collection details see MPG.ReNa |
| Summary: | Discusses 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 applications in the computational sciences |
|---|---|
| Physical Description: | xv, 208 p. ill |
| ISBN: | 9780191712012 |