Beginning Logic - Lemmon, E. J.