Changes

Logic Live (view source)

162 bytes added , 18:27, 1 May 2010

Line 107: Line 107:

* [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”]

[[Category:Focal Node]]

12,080

edits