1. Troelstra, A. S., & Schwichtenberg, H. (2000). Basic Proof Theory.