|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Труды научно-исследовательского семинара Логического центра Института философии РАНсборник
- Год издания: 2004
- Том: 17
- Место издания: Изд-во РАН Москва
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 2004 Об алгоритмической проблеме пропозициональной определимости формул первого порядка в семантике формальной логики А.Виссера
- Чагров Александр Васильевич, Чагрова Лилия Алексеевна
- в сборнике Труды научно-исследовательского семинара Логического центра Института философии РАН, место издания Изд-во РАН Москва, том 17, с. 94-102