TY  - BOOK
AU  - Edgard de,Alencar Filho
TI  - Iniciação a lógica matemática
SN  - 85-213-0403-X
U1  - 511.3 
PY  - 1995///
PB  - Nobel
KW  - LÓGICA MATEMÁTICA
KW  - LÓGICA SIMBÓLICA E MATEMÁTICA
N1  - Bibliografia
ER  -