A theory of prepositional types

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

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