A série foi recentemente inaugurada com: 1) Fundamentos de Lógica e Teoria da Computação Segunda Edição Amílcar Sernadas e Cristina Sernadas
2) Introdução ao Cálculo Lambda Chris Hankin, traduzido por João Rasga Próximo títulos: tradução de A Shorter Model Theory Wilfrid Hodges tradução de Incompleteness in the Land of Sets Melvin Fitting tradução de Learn Prolog Now! Patrick Blackburn, Johan Bos, Kristina Striegnitz tradução de The Haskell Road to Logic, Maths and Programming Second Edition Kees Doets and Jan van Eijck JM 2012/9/17 Ruy de Queiroz <[email protected]>: > Nova série de livros em português publicada pela College Publications > (King's College London): *Cadernos em Lógica e Computação*. > > Segundo seus coordenadores Amílcar Sernadas e Cristina Sernadas: > > "Esta série visa facultar aos estudantes universitários dos países de > língua oficial portuguesa bons livros de texto em português, a preços > acessíveis, no domínio lato da lógica e computação, incluindo > traduções de livros já publicados pela College Publications e outros, > bem como textos oriundos das comunidades universitárias destes países." > > > Está confirmada a publicação de nossa tradução brasileira do livro *A > Shorter Model Theory*, de Wilfrid Hodges, Cambridge U Press, 1997. > > Ruy > > ------ > > *Cadernos de Lógica e Computação* > > > Série dirigida por *Amílcar Sernadas & Cristina Sernadas* > Series edited by *Amílcar Sernadas & Cristina Sernadas* > > > *Cadernos de Lógica e Computação *é uma série de livros em Português que > abrange os domínios da Lógica e da Ciência da Computação e que inclui > livros de texto universitários e monografias de investigação. Os livros de > texto resultam da experiência de ensino universitário de graduação ou > pós-graduação dos seus autores. As monografias de investigação focam > tópicos mais avançados em estilo ainda acessível. > > *Cadernos de Lógica e Computação *is a series of books in Portuguese that > covers the full spectrum of the fields of Logic and Computer Science, > including university textbooks and research monographs. Textbooks are > written from class-tested material developed by the authors for > undergraduate or graduate students. Research monographs focus on more > advanced topics but still in accessible style to newcomers. > > Comissão Científica > Scientific Committee > > Walter Carnielli, Universidade de Campinas > Fernando Ferreira, Universidade de Lisboa > José Luiz Fiadeiro, University of London > Marcelo Finger, Universidade de São Paulo > Denis Hirschfeldt, University of Chicago > Valeria de Paiva, University of Birmingham > Luís Moniz Pereira, Universidade Nova de Lisboa > Ruy de Queiroz, Universidade Federal de Pernambuco > Paulo Oliva, University of London > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
