@article{10_4064_fm_61_1_93_103, author = {E. Lopez-Escobar}, title = {A complete, infinitary axiomatization of weak second-order logic}, journal = {Fundamenta Mathematicae}, pages = {93--103}, publisher = {mathdoc}, volume = {61}, number = {1}, year = {1967}, doi = {10.4064/fm-61-1-93-103}, language = {en}, url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-61-1-93-103/} }