Aristotle's syllogistic - Lukasiewicz, Jan (Clarendon, 1972)