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