Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур
М.А. Тайцлин; M.A. Tajclin; M.A. Tajclin; M.A. Taiclin
Algebra i Logika (1962)
- Volume: 1, Issue: 3, page 24-38
- ISSN: 0373-9252
Access Full Article
topHow to cite
topТайцлин, М.А., et al. "Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур." Algebra i Logika 1.3 (1962): 24-38. <http://eudml.org/doc/186573>.
@article{Тайцлин1962,
author = {Тайцлин, М.А., Tajclin, M.A., Tajclin, M.A., Taiclin, M.A.},
journal = {Algebra i Logika},
keywords = {finite lattices; commutative semigroups; finite partially ordered sets; elementary theories; identically true formulas; finitely refutable formulas; effectively inseparable},
language = {rus},
number = {3},
pages = {24-38},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур},
url = {http://eudml.org/doc/186573},
volume = {1},
year = {1962},
}
TY - JOUR
AU - Тайцлин, М.А.
AU - Tajclin, M.A.
AU - Tajclin, M.A.
AU - Taiclin, M.A.
TI - Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур
JO - Algebra i Logika
PY - 1962
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 1
IS - 3
SP - 24
EP - 38
LA - rus
KW - finite lattices; commutative semigroups; finite partially ordered sets; elementary theories; identically true formulas; finitely refutable formulas; effectively inseparable
UR - http://eudml.org/doc/186573
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.