User contributions
2 October 2008
Directory:Jon Awbrey
Presently …: add item
+87
Directory:Jon Awbrey
Education: new link — meadow brook hall virtual tour
-19
3 September 2008
Logical graph
Resources: re-org links
+1
Logical graph
Resources: add links
+75
Logical graph
Resources: add link
+199
2 September 2008
Logical graph
Resources: + author link
+48
Logical graph
Resources: + details
+20
Logical graph
Resources
+72
Logical graph
Resources: re-org links
+292
Logical graph
trim lead
-48
Logical graph
See also: apply {{col-begin}}…{{col-break}}…{{col-end}} template
+18
Logical graph
Praeclarum theorema: ASCII → JPEG
-3,676
File:Logical Graph Figure 34.jpg
no edit summary
1 September 2008
31 August 2008
Peirce's law
ASCII → JPEG
-3,812
File:Peirce's Law Figure 2.jpg
no edit summary
File:Peirce's Law Figure 1.jpg
no edit summary
Logical graph
Peirce's law: ASCII → JPEG
-2,806
File:Logical Graph Figure 32.jpg
no edit summary
Logical graph
Peirce's law: try to untangle syntax a bit
-49
30 August 2008
Logical graph
Peirce's law: cleanup
-8
Logical graph
Formal development: ASCII → JPEG
-1,098
File:Logical Graph Figure 31.jpg
no edit summary
Logical graph
C<sub>3</sub>. Dominant form theorem: punctuation
-1
Logical graph
C<sub>2</sub>. Generation theorem: grammar
Logical graph
Formal development: HTML → TeX
Logical graph
Formal development: HTML → TeX
+15
Logical graph
Exemplary proofs: HTML → TeX
+23
29 August 2008
Logical graph
C<sub>3</sub>. Dominant form theorem: ASCII → JPEG
-1,196
File:Logical Graph Figure 30.jpg
no edit summary
28 August 2008
Logical graph
Frequently used theorems: ASCII → JPEG
-825
File:Logical Graph Figure 29.jpg
no edit summary
Logical graph
Frequently used theorems: ASCII → JPEG
-3,288
File:Logical Graph Figure 28.jpg
no edit summary
26 August 2008
Logical graph
Frequently used theorems: ASCII → JPEG
-850
File:Logical Graph Figure 27.jpg
no edit summary
Logical graph
C<sub>1</sub>. Double negation theorem: split oversized figure into 2 parts
+127
File:Logical Graph Figure 26.jpg
no edit summary
Logical graph
C<sub>1</sub>. Double negation theorem: ASCII → JPEG
-7,031
File:Logical Graph Figure 25.jpg
no edit summary
25 August 2008
Logical graph
Formal development: ASCII → JPEG
-1,015
File:Logical Graph Figure 24.jpg
no edit summary
Directory:Jelena Cleary
—'s
m+12
Directory:Jelena Cleary
typo
m-1
Logical graph
Axioms: now here's a neat trick : <math>\overline{\underline{~~~~~~}}</math>
+35
24 August 2008
Logical graph
Axioms: format displays as <math> arrays
+436
Directory:Jon Awbrey
–
+16
User:Jon Awbrey
–
+16