Bruno (2000). A Course in Model Theory . Springer. ISBN   0-387-98655-3 .   Rautenberg, Wolfgang (2010). A Concise Introduction to Mathematical Logic (3rd ed.). New York : Springer Science+Business Media . doi : 10.1007/978-1-4419-1221-3 . ISBN   978-1-4419-1220-6 . http://www.springerlink.com/content/978-1-4419-1220-6/ .   Rothmaler, Philipp (2000). Introduction to Model Theory (new ed.).