%0 Journal Article
%A Andrzej Mostowski
%T Models of second order arithmetic with definable Skolem functions
%J Fundamenta Mathematicae
%D 1972
%P 223-234
%V 75
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-75-3-223-234/
%R 10.4064/fm-75-3-223-234
%G en
%F 10_4064_fm_75_3_223_234