MyWikiBiz, Author Your Legacy — Saturday December 28, 2024
Jump to navigationJump to search
No change in size
, 12:18, 27 September 2010
Line 93: |
Line 93: |
| | | |
| {| align="center" border="0" cellpadding="10" cellspacing="0" | | {| align="center" border="0" cellpadding="10" cellspacing="0" |
− | | [[Image:PERS_Figure_05.jpg|500px]] || (1) | + | | [[Image:PERS_Figure_05.jpg|500px]] || (5) |
| |} | | |} |
| | | |
Line 140: |
Line 140: |
| | [[Image:Equational Inference Marquee QED.png|500px]] | | | [[Image:Equational Inference Marquee QED.png|500px]] |
| |} | | |} |
− | | (5) | + | | (6) |
| |} | | |} |
| | | |
Line 151: |
Line 151: |
| | [[Image:Double Negation 2.0 Animation.gif]] | | | [[Image:Double Negation 2.0 Animation.gif]] |
| |} | | |} |
− | | (6) | + | | (7) |
| |} | | |} |
| | | |