A complete, infinitary axiomatization of weak second-order logic

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

E. Lopez-Escobar Fundamenta Mathematicae 61 (1967), 93-103 DOI: 10.4064/fm-61-1-93-103