Beginning Logic by Edward John Lemmon