Автор: Ершов Юрий Леонидович

Основное заглавие: Определимость и вычислимость

Ответственность: Ин-т математики СО РАН, Новосиб. гос. ун-т, Ин-т дискрет. математики и информатики (Новосибирск, Россия)

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

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

Место издания: М.

Издательство: Экономика; Новосибирск: Науч. кн.

Объем: 318 с.

ISBN: 5-282-02021-1; 5-88119-029-7

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

ББК: 22.126

Библиография: Библиогр.: с. 306-309. - Указ. предм., обозначений: с. 310-316