%0 Journal Article
%A E. Lopez-Escobar
%T A complete, infinitary axiomatization of weak second-order logic
%J Fundamenta Mathematicae
%D 1967
%P 93-103
%V 61
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-61-1-93-103/
%R 10.4064/fm-61-1-93-103
%G en
%F 10_4064_fm_61_1_93_103