Цахим шуудангийн бүртгэл: Исследования по конструктивной математике и математической логике.5