Page history
20 November 2008
19 November 2008
HTML → TeX
+284
spacing
+4
spacing
+6
no edit summary
+24
→Higher Order Propositions and Logical Operators (''n'' = 2): sp
+1
no edit summary
+492
no edit summary
-67
no edit summary
+10
no edit summary
-591
no edit summary
+129
→Measure for Measure
+17
HTML → LaTeX
+144
18 November 2008
change table color scheme to ghostwhite head and white body
-165
HTML → TeX
+97
HTML → LaTeX
+282
HTML → LaTeX
-18
no edit summary
-29
no edit summary
+55
no edit summary
+42
no edit summary
+116
no edit summary
-61
no edit summary
+134
no edit summary
-106
no edit summary
+87
no edit summary
+88
HTML → LaTeX
+37
→Umpire Operators
+6
no edit summary
+22
→Higher Order Propositions and Logical Operators (''n'' = 2)
+2
HTML → LaTeX
+15
17 November 2008
spacing
+35
HTML → TeX
-38
HTML → LaTeX
+78
HTML → LaTeX
-22
HTML → LaTeX
+7
renumber figures & tables
+7
renumber tables
+1
renumber tables
+15
no edit summary
+1,017
→Higher Order Propositions and Logical Operators (''n'' = 1)
+7
→Higher Order Propositions and Higher Order Logical Operators (''n'' = 1)
-6
→2.1.1. Higher Order Propositions, Higher Order Logical Operators (''n'' = 1)
-47
→Higher Order Propositions and Logical Operators (''n'' = 1)
+137
→Toward a Functional Conception of Quantificational Logic: HTML → TeX
-40
copy content
+37,601