A reduction of the axioms for the theory of prepositional types

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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