Introduction to Logic by Michael Genesereth, Immanual Kant & Paul Herrick