Beginning logic - Lemmon, E. J. (Edward John) (Chapman & Hall/CRC, 1998)