Page history
17 November 2008
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