Introduction to Logic, Second Edition - Genesereth, Michael. (Springer International Publishing,)