12,089
edits
Changes
Directory:Jon Awbrey/Projects/Differential Logic (view source)
Revision as of 15:08, 30 July 2013
, 15:08, 30 July 2013no edit summary
==Readings==
==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==
==Texts in preparation==
* [[Directory:Jon_Awbrey/Papers/Change_In_Logic|Change In Logic]]
* [[Directory:Jon_Awbrey/Papers/Dynamics_And_Logic|Dynamics And Logic]]
* [[User:Jon_Awbrey/DIFF/A|Differential Logic : Series A]]
* [[User:Jon_Awbrey/DIFF/A|Differential Logic : Series A]]
* [[User:Jon_Awbrey/DIFF/B|Differential Logic : Series B]]
* [[User:Jon_Awbrey/DIFF/B|Differential Logic : Series B]]
* [[User:Jon_Awbrey/DIFF/C|Differential Logic : Series C]]
* [[User:Jon_Awbrey/DIFF/C|Differential Logic : Series C]]