Ask HN: recommend a logic book

My supervisor asked me to get a good introductory logic book for computer science. Need to grasp a solid understanding of propositional and predicate logic. Any recommendations? Thanks very much!

(Preferably available in PDF or other non-dead-tree formats.)