Posterior analytics 350 BC - Aristotle (Infomotions, Inc. ; Virginia Tech., 2001)