Page history
18 November 2008
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
{{DISPLAYTITLE:Functional Logic : Quantification Theory}}
+57