Логика аристотеля формальная: Формальная логика Аристотеля - Libtime