TY - BOOK AU - Leônidas,Hegenberg TI - Lógica, simbolização e dedução U1 - 511.3 PY - 1975/// CY - São Paulo PB - EPU - Editora Pedagógica e Universitária KW - LÓGICA MATEMÁTICA KW - LÓGICA SIMBÓLICA E MATEMÁTICA ER -