An introduction to proof theory : normalization, cut-elimination, and consistency proofs /
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.
| Main Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Oxford ; New York, NY :
Oxford University Press,
2021.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. |
|---|---|
| Physical Description: | 1 online resource (x, 418 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9780192649294 0192649299 9780191938795 0191938793 |