[Logica-l] Fwd: [isabelle] Software Implementation of the Mathematical Logic R0 Available for Download

FYI -- Alexandre Rademaker http://arademaker.github.io http://researcher.ibm.com/person/br-alexrad > Begin forwarded message: > > From: Ken Kubota > Subject: [isabelle] Software Implementation of the Mathematical Log

Re: [Logica-l] Morre no Rio o matemático Elon Lages Lima, ex-diretor do IMPA, aos 87 anos

Além de toda a sua importância no desenvolvimento da matemática no país, como autor de dezenas de livros e pesquisador emérito e ex-diretor do IMPA, ele desempenhou um papel fundamental na história da Escola de Matemática Aplicada da FGV -- EMAp/FGV. Ele foi responsável pelo projeto de criação dos

[Logica-l] Concurso na área de Matemática (Álgebra e Análise) na UFAM, Manaus

A Universidade Federal do Amazonas (UFAM) publicou Edital de Concurso Público para as áreas de Álgebra e Análise - Adjunto, 40hs DE - no campus de Manaus. Mais informações no link: http://progesp.wixsite.com/ddpessoas/0372017 Trabalho há 5 anos em Manaus. É uma cidade de muitos atrativos. Recome