Email-запись: Исследования по конструктивной математике и математической логике.5