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