|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
O равномерной арифметической полноте модальных логик доказуемостистатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Артемов С.Н.
- Журнал: Математические заметки
- Том: 48
- Номер: 1
- Год издания: 1990
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 3
- Последняя страница: 9
- Аннотация: Установлена равномерная арифметическая полнота всех пропозициональных логик доказуемости.
- Добавил в систему: Золин Евгений Евгеньевич