LW
Aristotelian Logic and Categorical Reasoning