TY  - BOOK
AU  - Halmos, Paul
AU  - Givant, Steven
TI  - Logic as Algerbra
SN  - 0-88385-327-2
U1  - 510.64.512 
PY  - 1998///
CY  - USA
PB  - The Mathematical Association of America
KW  - Logic  - Mathematics
KW  - Propositional calculus
KW  - Algebra, Boolean
KW  - Boolean algebra
KW  - Group theory
KW  - Set theory
KW  - SYMBOLIC LOGIC
KW  - Lattices and infinite operationas
KW  - Monadic predicate calculus
ER  -