This is a special post for quick takes by Viliam. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.
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.