Lógica : o cálculo de predicados - Hegenberg, Leonidas, 1925- (Edotra Herder, 1973)