Changes

Logical graph (view source)

162 bytes added , 02:27, 2 May 2010

Line 811: Line 811:

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Jon Awbrey, “Propositional Equation Reasoning Systems”]

+

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction Jon Awbrey, “Differential Logic : Introduction”]

* [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Jon Awbrey, “Differential Propositional Calculus”]

−

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/~~Differential_Logic_:_Introduction~~ Jon Awbrey, “Differential Logic ~~: Introduction~~”]

+

* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0 Jon Awbrey, “Differential Logic and Dynamic Systems”]

==Document history==

12,089

edits