%0 Journal Article %A G. E. Mints %T Exact estimates for provability of the rule of transfinite induction in initial parts of arithmetic %J Zapiski Nauchnykh Seminarov POMI %D 1971 %P 134-144 %V 20 %U http://geodesic.mathdoc.fr/item/ZNSL_1971_20_a12/ %G ru %F ZNSL_1971_20_a12