Beleza, Ruy. Parabéns pelo trabalho. Agora temos em nossa língua um livro excelente. Feliz Natal e excelente 2013 a todos da lista. Abraços Décio
------------------------------------------------------ Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause ------------------------------------------------------ Em 23/12/2012, às 16: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 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
