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.
Propositional logic and first order logic textbook
Ralf
- 17
- 1
- 1
- 2