A reduction of the axioms for the theory of prepositional types
Volume 52 / 1963
Fundamenta Mathematicae 52 (1963), 345-350
DOI: 10.4064/fm-52-3-345-350