Page history
14 July 2008
13 July 2008
→The Extended Universe of Discourse: HTML → TeX
-77
→The Extended Universe of Discourse: HTML → TeX
+680
→The Extended Universe of Discourse: HTML → TeX
+17
→The Extended Universe of Discourse: HTML → TeX
+29
→The Extended Universe of Discourse: HTML → TeX
+188
→The Extended Universe of Discourse: HTML → TeX
-75
12 July 2008
11 July 2008
→Differential Propositions : The Qualitative Analogues of Differential Equations: HTML → TeX
+4
→A Differential Extension of Propositional Calculus: HTML → TeX
-1
→A Differential Extension of Propositional Calculus: HTML → TeX
+58
→Differential Propositions : The Qualitative Analogues of Differential Equations
+1
→Differential Propositions : The Qualitative Analogues of Differential Equations: HTML → TeX
+20
→A Differential Extension of Propositional Calculus: HTML → TeX
+32
→Differential Propositions : The Qualitative Analogues of Differential Equations
+81
→A Differential Extension of Propositional Calculus: HTML → TeX
+5
→A Differential Extension of Propositional Calculus: present progressive
+11
→Differential Propositions : The Qualitative Analogues of Differential Equations: HTML → TeX
-161
→Tables of Propositional Forms: HTML → TeX
+1,277
→Tables of Propositional Forms: HTML → TeX
-36
→Tables of Propositional Forms: HTML → TeX
+393
→Tables of Propositional Forms: HTML → TeX
+621
→Tables of Propositional Forms: HTML → TeX
-22
10 July 2008
→Reality at the Threshold of Logic: fix awk
+3
→Reality at the Threshold of Logic: HTML → TeX
+9
→Reality at the Threshold of Logic: HTML → TeX
+13
→Reality at the Threshold of Logic: HTML → TeX
-123
→Reality at the Threshold of Logic: HTML → TeX
-14
→Reality at the Threshold of Logic: HTML → TeX
+31
→Reality at the Threshold of Logic: HTML → TeX
+22
→Reality at the Threshold of Logic: HTML → TeX
+39
→Reality at the Threshold of Logic: HTML → TeX
+46
→Reality at the Threshold of Logic: HTML → TeX
-36
→Reality at the Threshold of Logic: HTML → TeX
+75
→Reality at the Threshold of Logic: HTML → TeX
+674
9 July 2008
8 July 2008
→Propositions as Types and Higher Order Types: spacing
+10
→Propositions as Types and Higher Order Types: HTML → TeX
-172
→Propositions as Types and Higher Order Types: HTML → TeX
-18
→Propositions as Types and Higher Order Types: sub \xi for \chi
-7
→Propositions as Types and Higher Order Types: HTML → TeX
-133
→Propositions as Types and Higher Order Types: HTML → TeX
→Propositions as Types and Higher Order Types: HTML → TeX
+40
→Propositions as Types and Higher Order Types: spacing
+28
→The Analogy Between Real and Boolean Types: spacing
+28
→A Functional Conception of Propositional Calculus: HTML → TeX
-964
7 July 2008
→A Functional Conception of Propositional Calculus: HTML → TeX
+23
→Theory of Control and Control of Theory: HTML → TeX
+57