Математическая логика и алгоритмические проблемы : [сборник статей] / ответственный редактор Ю. Л. Ершов. — Новосибирск : Наука, Сибирское отделение, 1989. — 189, [1] с. — (Труды Института математики ; т. 12) - Ершов, Ю. Л.; Институт математики (Новосибирск) (Труды Института математики, 1989)