@misc{indiciae6b8ac8094d94,
  title = {Natural Deduction for the Sheffer Stroke and Peirce's Arrow (And Any Other Truth-Functional Connective)},
  author = {Richard Zach},
  year = {2017},
  doi = {10.1007/s10992-015-9370-x},
  url = {https://arxiv.org/abs/1504.05995},
  note = {Source identifier: 1504.05995}
}