|
Сибирский математический журнал, 1982, том 23, номер 1, страницы 199–201
(Mi smj6557)
|
|
|
|
Отдел заметок
О разрешимости теорий булевых алгебр с выделенным идеалом
А. С. Морозов Новосибирский государственный университет им. Ленинского комсомола
Аннотация:
Построены примеры булевых алгебр с идеалом, теория которых неразрешима.
Библ. 2.
Статья поступила: 27.06.1980
Образец цитирования:
А. С. Морозов, “О разрешимости теорий булевых алгебр с выделенным идеалом”, Сиб. матем. журн., 23:1 (1982), 199–201
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6557 https://www.mathnet.ru/rus/smj/v23/i1/p199
|
Статистика просмотров: |
Страница аннотации: | 89 | PDF полного текста: | 38 |
|