Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
Algebra i Logika (1963)
- Volume: 2, Issue: 1, page 5-18
- ISSN: 0373-9252
Access Full Article
top
How to cite
topЛавров, И.А.. "Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий." Algebra i Logika 2.1 (1963): 5-18. <http://eudml.org/doc/186589>.
@article{Лавров1963,
author = {Лавров, И.А.},
journal = {Algebra i Logika},
keywords = {inseparability; identically true formulae; finitely refutable formulae; theory of separated binary relations; partial ordering; transitive relations; reflexive relations; symmetric relations; irreflexive and nontransitive relations; equivalence relations; linear order relations; binary relations; undecidability},
language = {rus},
number = {1},
pages = {5-18},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий},
url = {http://eudml.org/doc/186589},
volume = {2},
year = {1963},
}
TY - JOUR
AU - Лавров, И.А.
TI - Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
JO - Algebra i Logika
PY - 1963
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 2
IS - 1
SP - 5
EP - 18
LA - rus
KW - inseparability; identically true formulae; finitely refutable formulae; theory of separated binary relations; partial ordering; transitive relations; reflexive relations; symmetric relations; irreflexive and nontransitive relations; equivalence relations; linear order relations; binary relations; undecidability
UR - http://eudml.org/doc/186589
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.