12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 12:45, 27 September 2010
, 12:45, 27 September 2010→Peirce's law: replace JPG with PNG
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:PERS_Figure_12.jpg|500px]] || (14)
| [[Image:Peirce's Law 1.0 Splash Page.png|500px]] || (14)
|}
|}