Logic And Computation by Lawrence C. Paulson