Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras defi ni es at o teorema de Morley e as partes elementares da teoria da estabilidade. Al m dos resultados padr o tais como os teoremas da compacidade e da omiss o de tipos, o livro tamb m descreve v rias conex es com a lgebra, incluindo o m todo de elimina o de quantifi cadores de Skolem-Tarski, modelocompletude, grupos de automorfi smos e omegacategoricidade, ultraprodutos,...