A reduction of the axioms for the theory of prepositional types

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

P. Andrews Fundamenta Mathematicae 52 (1963), 345-350 DOI: 10.4064/fm-52-3-345-350