Towards a canonical classical natural deduction system

Annals of Pure and Applied Logic

Journal Article

Publication

Year of publication: 2013

Volume: 164

Issue: 6

Pages: 618-650

Identifiers

Locators

Alternative Titles