User contributions
27 November 2008
26 November 2008
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
add categories
+66
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0
add categories
+96
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
add categories
+733
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Document History: amplify note
+155
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Document History: move note to top of section
+1
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Inquiry and Analogy: + NOTE
+259
Category:Functional Logic
'''{{PAGENAME}}'''
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
add cats
+695
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
+ Category:Functional Logic
+29
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
NOTE. The current version of this document is Differential Logic and Dynamic Systems 2.0
+1
25 November 2008
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
NOTE. The current version of this document is Differential Logic and Dynamic Systems 2.0.''''
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
+ [readings]
+35
24 November 2008
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
no edit summary
+3
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
no edit summary
+6
23 November 2008
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
no edit summary
-6
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems
Note. See Differential Logic and Dynamic Systems 2.0 for the current revision of this paper.
+190
Directory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy
fold in formatted text
+5,075
21 November 2008
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Axioms vs. Rules: i'll be back …
+32
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+360
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
restore tables to original order
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
table widths @ 96%
-2
20 November 2008
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+17
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
-39
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+234
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+374
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
-101
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+770
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+430
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+233
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+240
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+154
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+203
19 November 2008
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
HTML → TeX
+284
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
spacing
+4
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
spacing
+6
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+24
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Higher Order Propositions and Logical Operators (''n'' = 2): sp
+1
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+492
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
-67
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+10
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
-591
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
+129
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
Measure for Measure
+17
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
HTML → LaTeX
+144
18 November 2008
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
change table color scheme to ghostwhite head and white body
-165
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
HTML → TeX
+97
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
HTML → LaTeX
+282
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
HTML → LaTeX
-18
Directory:Jon Awbrey/Papers/Functional Logic : Quantification Theory
no edit summary
-29