Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus