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