A concise introduction to logic - Hurley (Wadsworth Pub., 2000)