Changes

Directory:Jon Awbrey/Projects/Differential Logic (view source)

10 bytes removed , 13:18, 8 November 2008

Line 6: Line 6:

==Readings==

−

* [[Directory:Jon Awbrey/Papers/Differential ~~Logic and Dynamic Systems~~|Differential ~~Logic and Dynamic Systems~~]]

+

* [[Directory:Jon Awbrey/Papers/Differential Propositional Calculus|Differential Propositional Calculus]]

−

* [[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0|Differential Logic and Dynamic Systems ~~2.0~~]]

+

* [[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0|Differential Logic and Dynamic Systems]]

==Texts in preparation==

12,123

edits