%0 Journal Article
%A A. P. Beltiukov
%T Weak constructive second order arithmetic with extracting polynomial time computable algorithms
%J Zapiski Nauchnykh Seminarov POMI
%D 2003
%P 7-12
%V 304
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZNSL_2003_304_a1/
%G ru
%F ZNSL_2003_304_a1