All Questions

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 ...