Natural deduction: a proof-theoretical study

Zotero