Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.

Перетятькин, М.Г.. "Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.."代数i Logika21.4 (1983): 410-441. <http://eudml.org/doc/187188>.

@1983年第{条，
作者={Переттмкин，М.Г.}，
journal={代数i逻辑}，
关键词={公式类的复杂性；递归可枚举理论；Lindenbaum代数；简单模型的性质；超稳定理论}，
语言={rus}，
数字={4}，
页数={410-441}，
publisher={Akademija Nauk SSSR，Sibirskoe Otdelenie，Matematiki研究所}，
标题=，
网址={http://eudml.org/doc/187188},
体积={21}，
年份={1983年}，
}

TY-JOUR公司
AU-Переттмкин，М.Г。
TI-ВтисмениамаинахТтриеааравконетаоакксиомкат我ируемтхтеоррх。
JO-代数i罗技
PY-1983年
PB-Akademija Nauk SSSR，Sibirskoe Otdelenie，Matematiki研究所
VL-21
IS-4标准
SP-410型
EP-441
洛杉矶-罗斯
KW——公式类的复杂性；递归可枚举理论；林登鲍姆代数；简单模型的性质；超级明星理论
UR-（欧元）http://eudml.org/doc/187188
急诊室-