| Description |
1 online resource (xv, 208 pages) : illustrations |
| Series |
Oxford logic guides ; 45 |
|
Oxford logic guides ; 45
|
| 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 |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Description based on print version record |
| Subject |
Logic, Symbolic and mathematical.
|
|
Proof theory.
|
| Form |
Electronic book
|
| Author |
Ritter, Eike.
|
| ISBN |
9780191712012 ebook |
|
0191712019 ebook |
|
