Үүнийг мессежээр илгээх: Иследования по конструктивной математике и математической логике. 3