TY - BOOK AU - Rieger,Ladislav AU - Basch, Michael [tr.] TI - Algebraic methods of mathematical logic U1 - 164 PY - 1967/// CY - New York PB - Academic Press KW - Logic, Symbolic and mathematical KW - Boolean algebra N1 - Translated from the author's unpublished MS ER -