 For Gentzen-style proof-theory and the theory of natural deduction: besides Gentzen’s (1934/35) original presentation, Jaśkowski’s (1934) theory of suppositions and Prawitz’s (1965) classic monograph, Tennant (1978), Troelstra and Schwichtenberg (2000), and Negri and von Plato (2001).