TY - BOOK AU - Hegenberg,Leônidas TI - Simbolização no cálculo de predicados: 650 problemas T2 - Lógica: Exercícios/3 PY - 1976/// CY - São Paulo PB - EDUSP KW - Hegenberg, Leônidas KW - Simbolização no cálculo de predicados: 650 problemas KW - Lógica Simbólica e Matemática ER -