12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 04:11, 21 March 2010
, 04:11, 21 March 2010→Logic as sign transformation: renumber figures
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:Praeclarum Theorema.jpg|500px]] || (25)
| [[Image:Praeclarum Theorema.jpg|500px]] || (29)
|}
|}