%0 Journal Article
%A M. G. Peretyat'kin
%T Calculations on Turing machines in finitely axiomatizable
%J Algebra i logika
%D 1982
%P 410-441
%V 21
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_1982_21_4_a3/
%G ru
%F AL_1982_21_4_a3