TY - BOOK AU - Hegenberg, Leonidas Helmuth Baebler TI - Dedução no cálculo de predicados T2 - Lógica VL - IV PY - 1978/// CY - São Paulo PB - Editora Pedagógica e Universitária KW - Lógica simbólica e matemática KW - Cálculo KW - Dedução (Lógica) KW - por KW - BN KW - 510.6 ER -