Многотомник

Исследования по теории алгорифмов и математической логике / под ред.: А. А. Маркова, Н. Петри. – М. : АН СССР.