All Questions

Are there some algorithms, their time complexity is relatively good, for example polynomial time. And the correctness of them has high consistency strength. And these algorithms shouldn't able to ...

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