Aristotle's syllogistic: from the standpoint of modern formal logic - Lukasiewicz, Jan (Clarendon Press, 1998)