Assertion: natural deduction | /r/HasProperty | application
Facets:
Source sentences:
text: 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.