Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic - Rini, Adriane (Springer Netherlands, 2011)