TY  - BOOK
AU  - Castrucci,Benedito
TI  - Introdução à lógica matemática / 
T2  - Série Professor ; 
U1  - 511.3 
PY  - 1974///
CY  - São Paulo : 
PB  - Nobel, 
KW  - Lógica matemática
ER  -