Uma mensagem bastante interessante de Vaughan Pratt para a lista f.o.m. ontem: http://www.cs.nyu.edu/pipermail/fom/2012-February/016200.html
JM _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
