TY - BOOK AU - Маслов, Сергей Юрьевич TI - Теория дедуктивных систем и ее применения T2 - Кибернетика PY - 1986/// CY - Москва PB - Радио и связь KW - მათემატიკური ლოგიკა KW - დედუქციური თეორია KW - გამოთვლითი თეორია ER -