TY  - BOOK
AU  - Halmos Paul
AU  - Givant Steven
TI  - Logic as algebra
SN  - 0-88385-327-2
U1  - 511.3 
PY  - 1998///
CY  - USA
PB  - Mathematical Association of America
KW  - Mathemtical logic
ER  -