Вид документа : Однотомное издание Шифр издания : Автор(ы) : Шевченко, Василий Владимирович Заглавие : Конструктивные логические системы и их приложения Выходные данные : М: ВЦ РАН, 2003 Колич.характеристики :51 с Серия: Сообщения по прикладной математике Примечания : ; Библиогр. : с. 50-51. Цена : Б.ц. УДК : +