TY  - BOOK
AU  - Miraglia, Francisco
TI  - Calculo Proposicional Uma Interacao Da Algebra E Da Logica
T2  - Colrcao CLE
U1  - 511.3 
PY  - 1987///
CY  - San Paulo
PB  - Centro de Logica
KW  - Mathematical logic (Symbolic logic)
KW  - Algebra
N1  - Contine bibliografie
ER  -