Выражение силлогистики Аристотеля в исчислении предикатов и в логике Н.П. Брусенцовадоклад на конференции