An Introduction to Proof Theory

Paolo Mancosu, Richard Zach og Sergio Galvan

Bog | Engelsk

Beskrivelse

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 pathbrea…