upgrade
Proof Theory – Notes and Study Guides | Fiveable