TY - BOOK AU - Hegenberg,Leônidas TI - Lógica o calculo de predicados PY - 1973/// CY - São Paulo PB - Herder KW - Hegenberg, Leônidas KW - Lógica o calculo de predicados KW - Lógica Simbólica ER -