Page history
10 July 2008
→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
→The Analogy Between Real and Boolean Types: cleanup
+14
→The Analogy Between Real and Boolean Types: HTML → TeX
-35
→The Analogy Between Real and Boolean Types: HTML → TeX
+881
→The Analogy Between Real and Boolean Types: HTML → TeX
-20
→The Analogy Between Real and Boolean Types: HTML → TeX
-122
→Basis Relativity and Type Ambiguity
-186
→A Functional Conception of Propositional Calculus: HTML → TeX
-50
→Basis Relativity and Type Ambiguity: HTML → TeX
-52
→Special Classes of Propositions: clarify
+43
add categories
+50
→Special Classes of Propositions: use matrix format
-206
6 July 2008
→Special Classes of Propositions: HTML → TeX
-23
→Special Classes of Propositions: HTML → TeX
-143
→Special Classes of Propositions: HTML → TeX
-86
→Special Classes of Propositions: HTML → TeX
+330
→Special Classes of Propositions: split paragraph
→Special Classes of Propositions: HTML → TeX
-93
→Philosophy of Notation : Formal Terms and Flexible Types: HTML → TeX
-28
→Qualitative Logic and Quantitative Analogy: fix line break
-1
→Qualitative Logic and Quantitative Analogy: HTML → TeX
-253
→Qualitative Logic and Quantitative Analogy: HTML → TeX
-34
→A Functional Conception of Propositional Calculus
+89
→A Functional Conception of Propositional Calculus
+321
→A Functional Conception of Propositional Calculus
-20
→A Functional Conception of Propositional Calculus: HTML → TeX
+185
5 July 2008
→A Functional Conception of Propositional Calculus: HTML → TeX
-92
→A Functional Conception of Propositional Calculus: HTML → TeX
-85
a whiter shade of pale
-9,504
