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