TY  - RPRT
TI  - Natural Deduction for the Sheffer Stroke and Peirce's Arrow (And Any Other Truth-Functional Connective)
AU  - Richard Zach
PY  - 2017
DO  - 10.1007/s10992-015-9370-x
UR  - https://arxiv.org/abs/1504.05995
ID  - 1504.05995
ER  -