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