Oi Walter. Parabéns por mais esta.
Só para você saber: estou propondo um novo curso de pós aqui, Computabilidade e Tratabilidade via Lógica, em que o seu outro livro é usado como bibliografia básica. Quem sabe incluo este na bibliografia do curso de lógicas modais. []s Marcelo 2008/10/8 Walter Carnielli <[EMAIL PROTECTED]>: > Colegas, > > temos a satisfação de anunciar que nosso livro > > "Modalities and Multimodalities" > (Walter Carnielli e Claudio Pizzi) > > na serie "Logic, Epistemology, and the Unity of Science" , Vol. 12, > Sringer2008, > > ja esta disponível. > > A ajuda de muitos de vocês foi essencial, e esperamos ter contribuído para > a disseminação da lógica modal com um > livro-texto que ressalte o conteúdo conceituai das modalidades, sem > deixar nada a desejar do ponto de vista matemático. > > Enfim, nossa pretensão foi oferecer uma ferramenta para o ensino e > pesquisa das lógicas modais. Esperamos que gostem. > > Mais informacoes: > > ISBN: 978-1-4020-8589-5 > (com versão " Online" ) > > http://www.springer.com/philosophy/logic/book/978-1-4020-8589-5?detailsPage=reviews > > Abraços, > > Walter e Claudio > -- > > +++++++++++++++++++++++++++++++++++++++++++++++++ > Walter Carnielli > Centre for Logic, Epistemology and the History of Science – CLE > State University of Campinas –UNICAMP > P.O. Box 6133 13083-970 Campinas -SP, Brazil > Phone: (+55) (19) 3788-6519 > Fax: (+55) (19) 3289-3269 > 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 > > -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
