О неразрешимости теорий булевых алгебр с выделенным идеалом.
Algebra i Logika (1986)
- Volume: 25, Issue: 3, page 326-346
- ISSN: 0373-9252
Access Full Article
top
How to cite
topПальчунов, Д.Е.. "О неразрешимости теорий булевых алгебр с выделенным идеалом.." Algebra i Logika 25.3 (1986): 326-346. <http://eudml.org/doc/187353>.
@article{Пальчунов1986,
author = {Пальчунов, Д.Е.},
journal = {Algebra i Logika},
keywords = {recursive axiomatizability; decidability; countable Boolean algebra; selected ideal},
language = {rus},
number = {3},
pages = {326-346},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {О неразрешимости теорий булевых алгебр с выделенным идеалом.},
url = {http://eudml.org/doc/187353},
volume = {25},
year = {1986},
}
TY - JOUR
AU - Пальчунов, Д.Е.
TI - О неразрешимости теорий булевых алгебр с выделенным идеалом.
JO - Algebra i Logika
PY - 1986
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 25
IS - 3
SP - 326
EP - 346
LA - rus
KW - recursive axiomatizability; decidability; countable Boolean algebra; selected ideal
UR - http://eudml.org/doc/187353
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.