Үүнийг мессежээр илгээх: Теория дедуктивных систем и ее применения