Электронный каталог: Синиця Андрій - Методи перевірки правильності виведення висновку із засновків у теорії силогістики