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