What are in your opinion some good propositional and first order logic textbooks (undergraduate level)?
I need one that focuses mainly on the aspects of logic related to computer science.
thanks in advance.