TY  - BOOK
AU  - Silver,Charles L.
TI  - From symbolic logic...to mathematical logic
SN  - 0697141756 :
U1  - 510 
PY  - 1994///
CY  - Dubuque, IA
PB  - Wm. C. Brown
KW  - Logic, Symbolic and mathematical
ER  -