A concise introduction to logic - Hurley, Patrick J. (Wadsworth, 1997)