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