Parabéns pelo trabalho e pela publicação do livro, Ruy! Itala > 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 >
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Itala M. L. D'Ottaviano Centre for Logic, Epistemology and the History of Science - CLE State University of Campinas - UNICAMP Sergio Buarque de Holanda, 251 Street ZIP CODE 13083-859 - Campinas-SP, Brazil Fax: +55-19-3289-3269 Tel.:+5519-3521-6517 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
