Changes

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

143 bytes added , 13:39, 8 November 2008

Line 6: Line 6:

==Readings==

−

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

+

*[http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Differential Propositional Calculus @ PlanetMath]

−

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

+

*[[Directory:Jon Awbrey/Papers/Differential Propositional Calculus|Differential Propositional Calculus (In Progress)]]

+

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

==Texts in preparation==

12,080

edits