books.google.at - Model theory investigates mathematical structures by means of formal languages. So-called first-order languages have proved particularly useful in this respect.This text introduces the model theory of first-order logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the...http://books.google.at/books/about/Introduction_to_model_theory.html?hl=de&id=0_NNAR6ztIUC&utm_source=gb-gplus-shareIntroduction to model theory
