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