12,140
edits
Changes
MyWikiBiz, Author Your Legacy — Monday November 03, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 20:06, 24 March 2010
, 20:06, 24 March 2010→Logic as sign transformation: renumb figs
{| align="center" cellpadding="10"
{| align="center" cellpadding="10"
| [[Image:Praeclarum Theorema.jpg|500px]] || (29)
| [[Image:Praeclarum Theorema.jpg|500px]] || (α)
|}
|}
