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