Lógica : o cálculo de predicados - Hegenberg, Leonidas, 1925- (Sao Paulo, Brasil : Edotra Herder, 1973)
Keywords: LOGICA SIMBOLICA Y MATEMATICA