87
Н34	Дуцяк, І.     Система аксіом для генерування правил виводу силогістичного типу [Текст] / І. Дуцяк // Наукові записки ТНПУ ім. В. Гнатюка. Сер. Філософія / редкол.: М. М. Алексієвець, В. Д. Бондаренко, М. Г. Братасюк [та ін.]. — Тернопіль : ТНПУ, 2005. — С. 135-140.