Peirce: ((p>q)>p)>p [CCCpqpp]

[ *** Under Construction *** ]

Systems

Standard PC = Intuitionist PC + Peirce


Go to ...


© Copyright 2007 by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/axioms/CCCpqpp.html
This page was last modified on January 24th, 2005.