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

Ответственность: Отв. ред. Ершов Ю. Л.

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

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

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

Издательство: Наука, Сиб. отд-ние

Объем: 189с.

ISBN: 5-02-028623-0

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

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

ББК: 22.122+22.127

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