Aristotle's syllogistic from the standpoint of modern formal logic.
Łukasiewicz, Jan.
Oxford, 
1957.