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