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, O-minimalidade e estruturas de posto de Morley finito. O material sobre equival ncias vai-e-vem, interpreta es e leis zero-um pode servir como introdu o a aplica es de teoria de modelos ci ncia da computa o. Cada cap tulo termina com um breve coment rio sobre a literatura e sugest es de leitura adicional.