with Korté, H. , 2016, Naturalizing natural deduction, in F. F. Abeles & M. E. Fuller (eds.), Modern logic 1850-1950, East and West, Basel, Birkhäuser, pp. 139-158.