%0 Journal Article %A Yu. G. Penzin %T Twins problem in formal arithmetic %J Matematičeskie zametki %D 1979 %P 505-511 %V 26 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/MZM_1979_26_4_a1/ %G ru %F MZM_1979_26_4_a1