Physics Library
 An open source physics library
Encyclopedia | Forums | Docs | Random  
References to 'differential logic'
1. differential propositional calculus by Jon Awbrey