I posted a list of corrections to the proof theory book: https://richardzach.org/2021/08/an-introduction-to-proof-theory-normalization-cut-elimination-and-consistency-proofs/ #logic #proofTheory

https://media.mathstodon.xyz/media_attachments/files/111/078/112/224/327/982/original/c52ecc16e27fc844.png