Исследования по конструктивной математике и математической логике.5 (Наука, 1972)