|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Модальные и временные логикисборник
- Год издания: 1979
- Место издания: ИФ АН СССР Москва
- Добавил в систему: Кузнецов Валерий Григорьевич
Статьи, опубликованные в сборнике
-
- 1979 Понятие существования и модальная логика
- Кузнецов В.Г.
- в сборнике Модальные и временные логики, место издания ИФ АН СССР Москва, с. 50-53
-
- 1979 Семантика типа Крипке пропозициональных модальных логик с интуиционистской основой
- Шехтман Валентин Борисович
- в сборнике Модальные и временные логики, место издания ИФ АН СССР Москва, с. 108-112