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