An introduction to proof theory : normalization, cut-elimination, and consistency proofs /
Mancosu, Paolo,author.
Galvan, Sergio,1946-author.
Zach, Richard,author.
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.
Includes bibliographical references (pages 405-411) and index.
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.
Proof theory.
Proof theory.