This is a fork of the Pierce-Logic repo at https://github.com/CurryBoy/Peirce-Logic for a final project for Professor Bram van Hueveln for Intermediate Logic Spring 2014.