Lógica: o cálculo de predicados - Hegenberg, Leônidas (Herder, 1973)