%0 Journal Article
%A G. E. Mints
%T Proof theory (arithmetic and analysis)
%J Itogi Nauki i Tekhniki. Seriya Algebra. Geometriya. Topologiya 
%D 1975
%P 5-49
%V 13
%I mathdoc
%U http://geodesic.mathdoc.fr/item/INTA_1975_13_a0/
%G ru
%F INTA_1975_13_a0