Post Made Community Wiki by François G. Dorais

show/hide this revision's text 2 tidied tags
show/hide this revision's text 1

Propositional logic and first order logic textbook

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.