A theory of prepositional types

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

Leon Henkin Fundamenta Mathematicae 52 (1963), 323-344 DOI: 10.4064/fm-52-3-323-344