University of Calgary
UofC Navigation

Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)

Connect with Us Twitter Facebook LinkedIn