A complete, infinitary axiomatization of weak second-order logic

Wydawnictwa / Czasopisma IMPAN / Fundamenta Mathematicae / Wszystkie zeszyty

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