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 |