Caros Colegas, Eu chamo a atenção ao *Humboldt Kolleg* sobre Provas/Demonstrações que ocorrerá em Bern, Suíça. Muitos nomes importantes da lógica e teoria de provas irão participar deste evento. Mais informação se encontram no site:
www.humboldt-kolleg.iam.unibe.ch/hb_program.html Abraços, Vivek _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
