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
