CompactaçãO de Provas lóGicas. - Vaston Goncalves da Costa (2007)