Вид документа : Продолжающееся издание Шифр издания : Пр3867/Пр3867/25 Заглавие : Математическая логика и теория алгоритмов : сборник Выходные данные : Новосибирск: Наука, 1993 Колич.характеристики :201 с Серия: Труды Института математики СО РАН им. С.Л. Соболева, ISSN 0208-0060; Т.25 Примечания : Библиогр. в конце ст. ISBN, Цена 5-86134-004-8: Б.ц. ГРНТИ : 27.03 ББК : В12я43 Предметные рубрики: Алгоритмы-- Теория Математическая логика Дескрипторы: сб пр--сб Экземпляры : всего : 02(1), 02 ВМИ(1) Свободны : 02(1), 02 ВМИ(1) Доп.точки доступа: Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\