TY - BOOK AU - Hegenberg,Leônidas TI - Dedução no cálculo sentencial PY - 1977/// CY - São Paulo PB - EPU KW - Hegenberg, Leônidas KW - Dedução no cálculo sentencial KW - Exercícios - Lógica Simbólica ER -