His 1965 monograph Natural deduction: a proof-theoretical study was to become a reference work on natural deduction, and included applications for modal and second-order logic.
他在1965年的专著《Natural deduction: a proof-theoretical study》成为关于自然演绎的权威著作，并包括了模态和二阶逻辑的应用。