|
Calculations on Turing machines in finitely axiomatizable
theories
M. G. Peretyat'kin
Received: 20.03.1979
Citation:
M. G. Peretyat'kin, “Calculations on Turing machines in finitely axiomatizable
theories”, Algebra Logika, 21:4 (1982), 410–441
Linking options:
https://www.mathnet.ru/eng/al1779 https://www.mathnet.ru/eng/al/v21/i4/p410
|
Statistics & downloads: |
Abstract page: | 65 | Full-text PDF : | 21 |
|