A completeness-proof method for extensions of the implicational fragment of the propositional calculus
| Title | A completeness-proof method for extensions of the implicational fragment of the propositional calculus |
| Publication Type | Journal Article |
| Authors | Batens, D |