Can I read An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs on EtoBox?

An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs by Paolo Mancosu, Sergio Galvan, Richard Zach is a philosophy book available to read on EtoBox.

What is An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs about?

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. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ

Who reads An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs?

Author

Paolo Mancosu, Sergio Galvan, Richard Zach

Publisher

Oxford University PressOxford

Published

2021

Language

EN

ISBN

9780192649294

Category

philosophy

Subjects

Mathematics, Philosophy, Anthropology

Updated

2026-03-16