Dover has a book called Set Theory and Formal Logic. It's not bad.
You might want to pick up a copy of Hofstadter's Godel, Escher, Bach. Not really a textbook on logic, but it does deliver "more than the gist" of it in a super casual, friendly manner.