518.5
И889 2	Исследования по теории алгоритмов и математической логике. (Посвящается Петру Сергеевичу Новикову к его семидесятилетию) [Текст] : сб. работ под ред.: А. А. Маркова, Н. В. Петри / АН СССР, Вычисл. центр. — М. : Вычисл. центр АН СССР, 1973. — 288 с.