How proofs are like cities http://rjlipton.wordpress.com/2011/05/06/navigating-cities-and-understanding-proofs/ _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l