Differential Logic and Dynamic Systems 2.0
Differential Logic and Dynamic Systems 3.0
Functional Logic : Higher Order Propositions
Functional Logic : Quantification Theory
Directory:Jon Awbrey/Differential Logic : Various Sketches
Jon Awbrey/Differential Logic : Various Sketches
Propositional Equation Reasoning Systems