%0 Journal Article
%A N. V. Beliakin
%T A means of modeling the classical second-order arithmetic
%J Algebra i logika
%D 1983
%P 3-25
%V 22
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1983_22_1_a0/
%G ru
%F AL_1983_22_1_a0