Logic and Representation Paperback Robert C. Moore A nice touch in this textbook is the cheat sheet for common formulas.
