Caro Ruy, parabéns a você, à Cristina e ao Amílcar por terem começado a coleção, e terminado o ano, assim tão bem!
Felizes festas e ótimo 2013, Walter Em 23 de dezembro de 2012 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 -- ----------------------------------------------- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
