Page history
Talk: Logical graph
14 December 2008
→Tables: back to ordinary parentheses for function notation
-112
→Functional Quantifiers: sub concrete domain X for abstract domain B^2 to prevent possible confusion
-72
13 December 2008
12 December 2008
→Tables: redo beta table
+9,280
→Tables: redo alpha table as fractal checkerboard
+9,204
→Functional Quantifiers: + table of simple qualifiers with props arranged by group orbits
+2,687
→Functional Quantifiers: blanks for zeroes
+176
→Functional Quantifiers: add explicit types for clarity
+41
→Functional Quantifiers: change notation : p, q → u, v
→Tables: rearrange alpha table as incidence matrix on same order of indices as beta table
+76
→Tables: sub [above or identical to/above], sub [below or identical to/below]
+32
→Functional Quantifiers: sub [links/maps]
-158
→Functional Quantifiers: del [its]
-4
Undo revision 74577 by Jon Awbrey (Talk)
-4
→Tables
+4
→Functional Quantifiers
+22
11 December 2008
→Tables: add dyadic umpire formulas to table captions
+68
→Tables: add explanation
+122
→Tables: interpretation of alpha & beta in terms of the implication lattice
+381
→Functional Quantifiers: bold definienda, tabular formating
+353
→Functional Quantifiers: \langle \rangle
+107
→Functional Quantifiers: trim
-17
→Functional Quantifiers
-8
→Functional Quantifiers
+141
→Functional Quantifiers: rephrase one more time for good measure
+126
→Functional Quantifiers
+366
→Functional Quantifiers
-27
reorganize
-12
→Functional quantifiers
-49
→Functional quantifiers: + definition
+412
→Oct 2008 : Classical vs. Constructive Mathematics
+6
→Bridges And Barriers: wikify
+131
→Bridges And Barriers: wikify
-93
→Bridges And Barriers: wikify
+52
→Inquiry Into Intuitionism: sp
+1
→Bridges And Barriers: + section + notes
+7,906
10 December 2008
→Inquiry Into Intuitionism
+35
reorganize
+28
→Inquiry Into Intuitionism: space
+1
→Inquiry Into Intuitionism: + note
+249
add section [inquiry into intuitionism]
+31
9 December 2008
8 December 2008
→Exercise 1
+265
→Exercise 1: fix typo
-4
→Functional quantifiers: TeX doesn't work well in headings
+108