Logic for Undergraduates - Kreyche, Robert J. (: Holt, rinehart and Winston, 1970)