Т. 2: [сборник]; Исследования по теории алгорифмов и математической логике - Марков А. А.; Кушнер Б. А. (1976, 1976)