Can't edit to add this, so will post additional reply of an MO thread with a bunch of other recommendations. I will look into some of them myself. https://mat

Can't edit to add this, so will post additional reply of an MO thread with a bunch of other recommendations. I will look into some of them myself. https://mathoverflow.net/questions/44620/undergraduate-logic-textbook https://mathoverflow.net/questions/44620/undergraduate-logic...