- Oxford logic guides ; 45
- 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.
- 9780191712012 (ebook) and 0191712019 (ebook)
- Bibliography Note:
- Includes bibliographical references and index.
View MARC record | catkey: 28934682