Маслов, Сергей Юрьевич Теория дедуктивных систем и ее применения / Сергей Маслов. - Москва : Радио и связь, 1986. - 135 с. - Кибернетика . Subjects--Index Terms: მათემატიკური ლოგიკა დედუქციური თეორია გამოთვლითი თეორია Universal Decimal Class. No.: 510.6