RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive
Algebra Logika, 1982 Volume 21, Number 4, Pages 410–441 (Mi al1779)
Calculations on Turing machines in finitely axiomatizable theories

M. G. Peretyat'kin


UDC: 517.11

Received: 20.03.1979



Bibliographic databases:

© Steklov Math. Inst. of RAS, 2025