Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Logical graph
(view source)
Revision as of 19:12, 31 March 2010
8 bytes removed
,
19:12, 31 March 2010
→Peirce's law
Line 502:
Line 502:
|}
|}
−
The steps of the proof
are reprised in the following animation
.
+
The
following animation replays the
steps of the proof.
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
Jon Awbrey
12,080
edits