Ершов, Ю.Л., et al. "Неразрешимость некоторых теорий." Algebra i Logika 2.5 (1963): 37-41. <http://eudml.org/doc/186608>.
@article{Ершов1963,
author = {Ершов, Ю.Л., Тайцлин, М.А., Eršov, Ju.L., Tajclin, M.A., Eršov, Ǔ. L., Tajclin, M.A., Taitslin, M.A., Ersov, Ju.L., Eršov, Ju.L., Tajclin, M.A.},
journal = {Algebra i Logika},
keywords = {predicate logic; recursive inseparability; lattice theories; ring theories; identically true formulae; finitely refutable formulae},
language = {rus},
number = {5},
pages = {37-41},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Неразрешимость некоторых теорий},
url = {http://eudml.org/doc/186608},
volume = {2},
year = {1963},
}
TY - JOUR
AU - Ершов, Ю.Л.
AU - Тайцлин, М.А.
AU - Eršov, Ju.L.
AU - Tajclin, M.A.
AU - Eršov, Ǔ. L.
AU - Tajclin, M.A.
AU - Taitslin, M.A.
AU - Ersov, Ju.L.
AU - Eršov, Ju.L.
AU - Tajclin, M.A.
TI - Неразрешимость некоторых теорий
JO - Algebra i Logika
PY - 1963
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 2
IS - 5
SP - 37
EP - 41
LA - rus
KW - predicate logic; recursive inseparability; lattice theories; ring theories; identically true formulae; finitely refutable formulae
UR - http://eudml.org/doc/186608
ER -