Could you recommend me a good book on first-order logic?
My goal is to understand the difference between first-order and second-order logic, preferably deeply enough to develop an intuition for what can be done and what can’t be done using first-order logic, and why exactly it is so.
Could you recommend me a good book on first-order logic?
My goal is to understand the difference between first-order and second-order logic, preferably deeply enough to develop an intuition for what can be done and what can’t be done using first-order logic, and why exactly it is so.