Mathematical Logic and Model Theory - Prestel, Alexander (Springer Nature)
Keywords: Maths