В1
И889	Исследования по конструктивной математике и математической логике. VIII [Текст] : сборник работ / Академия наук СССР, Ордена Ленина Математический институт имени В. А. Стеклова; под ред.: Ю. В. Матиясевича, А. О. Слисенко. — Ленинград : Наука, 1979. — 252 с.