Գրեք սա: Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ :