A concise introduction to logic - Hurley, Patrick J. (Thomson/Wadsworth, 2006)