Hegenberg, Leônidas, Lógica : o cálculo de predicados / Leônidas Hegenberg. - - São Paulo : Herder, 1973. - 226p. : il. Inclui índice. Bibliografia: p. 218-221. Subjects--Topical Terms: Lógica simbólica e matemática.Cálculos de predicados. Dewey Class. No.: 512.15