Основное заглавие: Математическая логика и теория алгоритмов

Ответственность: Рос. АН, Сиб. отд-ние; Отв. ред. Ершов Ю. Л., Гончаров С. С.

Физический носитель: Текст

Год публикации: 1993

Место издания: Новосибирск

Издательство: Изд-во Ин-та математики

Объем: 201с.

ISBN: 5-86134-004-8

Серия: Труды Института математики СО РАН

Ключевые слова: Математическая логика; Алгоритмы

ББК: 22.122+22.127

Библиография: Библиогр. в конце ст.