Основное заглавие: Исследования по конструктивной математике и математической логике

Сведения, относящ. к заглавию: сборник работ

Ответственность: под ред. Слисенко А. О.

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

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

Место издания: Ленинград

Издательство: Наука, Ленинградское отделение

Объем: 251 с.

ISBN: 5-02-000750-1

Cерия: Записки научных семинаров Ленинградского отделения Математического института им. В. А. Стеклова АН СССР

Ключевые слова: Математическая логика; Конструктивная математика; Функции (мат.);

ББК: 22.121+22.122

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