Possible Worlds: An Introduction to Logic and Its Philosophy by Raymond Bradley and Norman Swartz. This is a new introduction to logic for university undergraduates in their first and second years.