TY  - BOOK
AU  - Hegenberg,Leônidas
TI  - Lógica : : o cálculo de predicados / 
U1  - 512.15 
PY  - 1973///
CY  - São Paulo : 
PB  - Herder, 
KW  - Lógica simbólica e matemática
KW  - Cálculos de predicados
N1  - Inclui índice; Bibliografia: p. 218-221
ER  -