Подробное описание документа

Гончаров С. С., Ершов Ю. Л.
   Конструктивные модели / Гончаров С. С., Ершов Ю. Л. ; РАН. СО. Ин-т математики, Новосибирский государственный ун-т, Институт дискретной математики и информатики. - Новосибирск : Научная книга, 1999. - 345 с. - (Сибирская школа алгебры и логики ; [вып.] 6). - Библиогр.: с. 321-345. - ISBN 5-88119-021-1.

Аннотация

Шестой том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии Сибирская школа алгебры и логики под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке Kluwer Academic/Plenum Publishers.
Представлена теория конструктивных (рекурсивных) моделей на основе методов, подходов и результатов, полученных в рамках Сибирской школы алгебры и логики, а также некоторые близкие результаты других математиков.
Для исследователей в области математической логики и приложений.

УДК

510.6 Математическая логика

Предметные рубрики

• Математическая логика

Общее кол-во в фондах

1 экз.

1. Преподавательский абонемент ауд.313, ГУК, ауд. 313
2. Читальный зал ауд.313, ГУК, ауд. 313