Three sequences of formulas with two variables in the positive propositional logic
Abstract
Some questions of the positive calculus are considered.
Submission history
[v1] 1968