>>10022789Middle one is useless shit, don't believe
>>10022836 or any other memester telling you to get proofs book. You Do Not Need It.
The other two are pseud books for philosophers or other gender studies majors. Any intro to logic will have a subtitle containing "model theory" in it, otherwise it's just a highschool material.
I suggest Hodges' Shorter Model Theory, but if you're not confident in your highschool logic, get either Pudlák's Logical Foundations of Mathematics and Computational Complexity or Shoenfield's Mathematical Logic.