Seminario de Logica Carioca Quinta feira dia 23 de Agosto 2012 13h-15h na PUC
Who is afraid of Categorical Models? by Valeria de Paiva University of Birmingham, UK Todos os detalhos no site da lógica carioca http://www.rio-logic.org/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
