Pode ser obtido pelo liame http://rapidshare.com/files/159333161/How_to_Prove_It_-_A_Structured_Approac h_._Daniel_J._Velleman.pdf.
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
