A schema of deduction theorems for the propositional calculus
- 49 Downloads
KeywordsMathematical Logic General Schema Computational Linguistic Propositional Calculus Deduction Theorem
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
© Państwowe Wydawnictwo Naukowe 1964