One thing people should know about Marker's book is that it has an enormous amount of errors. [Here's](http://homepages.math.uic.edu/~marker/mt-errors.html) the errata, and other students in my program have commented that this list is not near complete.

I liked David Marker's book *Model Theory: An Introduction* ([Amazon](http://amzn.com/0387987606), [Google Books](http://books.google.com/books/about/Model_Theory_An_Introduction.html?id=QieAHk--GCcC), [SpringerLink](http://link.springer.com/book/10.1007/b98860/page/1), [Errata](http://homepages.math.uic.edu/~marker/mt-errors.html)) 

You might also want to see the responses to [this](http://mathoverflow.net/questions/76641/a-book-about-model-theory) MathOverflow question.

I think [Hodges](http://books.google.co.uk/books/about/Model_Theory.html?id=Rf6GWut4D30C&redir_esc=y) is often used as standard text.

Something I've wondered: what the hell is model theory?

I think [Hodges](http://books.google.co.uk/books/about/Model_Theory.html?id=Rf6GWut4D30C&amp;redir_esc=y) is often used as standard text.

I've been getting into category and topos theory for a while now, and the Homotopy Type Theory book arrived today. The topos theory, as well as some of my own musings, have led me to think I should learn some model theory. I have no background in logic. What are some canonical books for this?

Model theory books?