Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
Синтаксические и семантические исследования неэкстенсиональных логик
сборник
Член редколлегии:
Смирнов В.А.
Год издания:
1989
Место издания:
Наука Москва
Добавил в систему:
Попов Владимир Михайлович
Статьи, опубликованные в сборнике
Страницы:
<< предыдущая
следующая >>
1989
Секвенциальные формулировки паранепротиворечивых логических систем
Попов Владимир Михайлович
в сборнике
Синтаксические и семантические исследования неэкстенсиональных логик
, место издания
Наука Москва
, с. 285-289
редактор
Смирнов Владимир Александрович
1989
Семантическое построение пропозициональной релевантной логики
Сидоренко Евгений Александрович
в сборнике
Синтаксические и семантические исследования неэкстенсиональных логик
, место издания
Наука Москва
, с. 221-245
редактор
Смирнов Владимир Александрович
1989
Синтаксический анализ некоторых расширений S4
Быстров Петр Иванович
в сборнике
Синтаксические и семантические исследования неэкстенсиональных логик
, место издания
Наука Москва
, с. 290-309
редактор
Смирнов Владимир Александрович
1989
Утверждение и предикация. Комбинированные исчисления высказываний и событий
Смирнов Владимир Александрович
в сборнике
Синтаксические и семантические исследования неэкстенсиональных логик
, место издания
Наука Москва
, с. 27-35
редактор
Смирнов Владимир Александрович
1989
Формальное построение ситуационной семантики
Вуйцицкий Рышард
в сборнике
Синтаксические и семантические исследования неэкстенсиональных логик
, место издания
Наука Москва
, с. 5-26
редактор
Смирнов Владимир Александрович
Страницы:
<< предыдущая
следующая >>