Алгоритмические вопросы алгебры и логики. Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна - сборник | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Алгоритмические вопросы алгебры и логики. Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адянасборник

Год издания: 2011
Серия: Труды Математического Института им. В.А.Стеклова
Том: 274
Издательство: МАИК "Наука/Интерпериодика"
Местоположение издательства: Москва
Добавил в систему: Золин Евгений Евгеньевич

Статьи, опубликованные в сборнике

- 2011 Интерполяционные свойства логик доказуемости GL и GLP
- Шамканов Д.С.
- в сборнике Алгоритмические вопросы алгебры и логики. Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, серия Труды Математического Института им. В.А.Стеклова, издательство МАИК "Наука/Интерпериодика" (Москва), том 274, с. 329-342
- 2011 Обзор предикатной логики реализуемости
- Плиско В.Е.
- в сборнике Алгоритмические вопросы алгебры и логики. Сборник статей. К 80-летию со дня рождения академика Сергея Ивановича Адяна, серия Труды Математического Института им. В.А.Стеклова, издательство МАИК "Наука/Интерпериодика" (Москва), том 274, с. 222-251