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.
3 of 3
Added tags to already-bumped question.
Propositional logic and first order logic textbook
Ralf
- 17
- 1
- 1
- 2