sur 17
An Introduction to Proof Theory — Paolo Mancosu, Sergio Galvan, Richard Zach