Перетятькин, М.Г.. "Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.." Algebra i Logika 21.4 (1983): 410-441. <http://eudml.org/doc/187188>.
@article{Перетятькин1983, author = {Перетятькин, М.Г.}, journal = {Algebra i Logika}, keywords = {complexity of classes of formulas; recursively enumerable theory; Lindenbaum algebra; properties of simple models; superstable theory}, language = {rus}, number = {4}, pages = {410-441}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.}, url = {http://eudml.org/doc/187188}, volume = {21}, year = {1983}, }
TY - JOUR AU - Перетятькин, М.Г. TI - Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях. JO - Algebra i Logika PY - 1983 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 21 IS - 4 SP - 410 EP - 441 LA - rus KW - complexity of classes of formulas; recursively enumerable theory; Lindenbaum algebra; properties of simple models; superstable theory UR - http://eudml.org/doc/187188 ER -