TY  - BOOK
AU  - Barnes Donald W
AU  -  Mack John M
TI  - Algebraic introduction to mathematical logic
T2  - Graduate texts in mathematics; 22
U1  - B:(R1), L51 
PY  - 1975///
CY  - New York    
PB  -  Springer Verlag       
KW  -  Algebraic logic
KW  - Logic Symbol and mathematical
ER  -