Aristotle's Syllogistic. From the standpoint of modern formal logic.