|
Вестник Московского университета. Серия 1: Математика. Механика, 1990, номер 1, страницы 31–33
(Mi vmumm2605)
|
|
|
|
Математика
О классах арифметических напарников модальных логик доказуемости
Е. Ю. Ногина
Аннотация:
Найден способ построения по всякой непротиворечивой модальной логике доказуемости континуального класса ее попарно несовместных арифметических напарников.
Библиогр. 10.
Поступила в редакцию: 28.11.1988
Образец цитирования:
Е. Ю. Ногина, “О классах арифметических напарников модальных логик доказуемости”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1990, № 1, 31–33
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vmumm2605 https://www.mathnet.ru/rus/vmumm/y1990/i1/p31
|
Статистика просмотров: |
Страница аннотации: | 57 | PDF полного текста: | 29 |
|