|
Записки научных семинаров ЛОМИ, 1967, том 4, страницы 168–173
(Mi znsl2219)
|
|
|
|
Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную
предикатную переменную
В. П. Оревков
Образец цитирования:
В. П. Оревков, “Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную
предикатную переменную”, Исследования по конструктивной математике и математической логике. I, Зап. научн. сем. ЛОМИ, 4, М., 1967, 168–173
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/znsl2219 https://www.mathnet.ru/rus/znsl/v4/p168
|
Статистика просмотров: |
Страница аннотации: | 209 | PDF полного текста: | 86 |
|