Changes

Inquiry (view source)

161 bytes added , 16:14, 1 May 2010

Line 772: Line 772:

* [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,080

edits