You have chosen Thinking About Mathematics, Model Theory for Modal Logic I and Model Theory for Modal Logic I.
All three must be different; choose another text.