Caros(as), Estão todos convidados a comparecer ao lançamento do nosso livro (em parceria com Anjolina e Dov Gabbay):
The Functional Interpretation of Logical Deduction<http://www.worldscibooks.com/compsci/8215.html>(World Scientific, Oct 2011): Onde: *SBS Livraria Internacional* (Av. Conselheiro Rosa e Silva 1519, Recife, em frente à ABA-Aflitos) Quando: 6a. Feira, 02/12/11, às 19hs. *Todos são bem-vindos!* RSVP para [email protected] Ruy _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
