Algebra i logika, Tome 21 (1982) no. 4, pp. 410-441
Citer cet article
M. G. Peretyat'kin. Calculations on Turing machines in finitely axiomatizable. Algebra i logika, Tome 21 (1982) no. 4, pp. 410-441. http://geodesic.mathdoc.fr/item/AL_1982_21_4_a3/
@article{AL_1982_21_4_a3,
author = {M. G. Peretyat'kin},
title = {Calculations on {Turing} machines in finitely axiomatizable},
journal = {Algebra i logika},
pages = {410--441},
year = {1982},
volume = {21},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_1982_21_4_a3/}
}
TY - JOUR
AU - M. G. Peretyat'kin
TI - Calculations on Turing machines in finitely axiomatizable
JO - Algebra i logika
PY - 1982
SP - 410
EP - 441
VL - 21
IS - 4
UR - http://geodesic.mathdoc.fr/item/AL_1982_21_4_a3/
LA - ru
ID - AL_1982_21_4_a3
ER -
%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
%U http://geodesic.mathdoc.fr/item/AL_1982_21_4_a3/
%G ru
%F AL_1982_21_4_a3
