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