A theory of prepositional types
Volume 52 / 1963
Fundamenta Mathematicae 52 (1963), 323-344
DOI: 10.4064/fm-52-3-323-344