The future of proof --slides de Dana Scott http://www.easychair.org/FLoC-06/scott_goedel_keynote_floc06.pdf
Só as citações já valem a leitura (8 páginas). JM _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
