O livro já pode ser adquirido no portal da Amazon.com: http://www.amazon.com/Vers%C3%A3o-Curta-Teoria-Modelos-Portuguese/dp/1848900953/ref=sr_1_7?s=books&ie=UTF8&qid=1356885496&sr=1-7&keywords=wilfrid+hodges
Feliz 2013! Ruy Em 23 de dezembro de 2012 15:11, Ruy de Queiroz <[email protected]> escreveu: > A College Publications assinala a publicação da tradução do livro "A > Shorter Model Theory" (Cambridge Univ Press, 1997), em 17/Dezembro/2012, > como Vol. 3 da Série "Cadernos de Lógica e Computação" (dirigida por > Amílcar Sernadas & Cristina Sernadas): ( > http://www.collegepublications.co.uk/clc/?00003) > > *Cadernos de Lógica e Computação, Vol. 3* > *Uma Versão Mais Curta de Teoria dos Modelos* > > *Wilfrid Hodges. Traduzido por Ruy J. G. B. de Queiroz* > > Eis um livro-texto atualizado de teoria de modelos levando o leitor das > primeiras definiçõ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 quantificadores de > Skolem-Tarski, modelo-completude, grupos de automorfismos e > omega-categoricidade, ultraprodutos, O-minimalidade e estruturas de posto > de Morley finito. O material sobre equivalências vai-e-vem, interpretaões e > leis zero-um podem 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. > > > 17 December 2012 > > 978-1-84890-095-0 > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
