Алексей Кислов НЕКЛАССИЧЕСКИЕ ЛОГИКИ Со времени Аристотеля Логика первого порядка примеры