TY  - BOOK
AU  - Rieger, Ladislav, 1916-1963.,
TI  - Algebraic methods of mathematical logic
AV  - QA9 R53
PY  - 1967///
CY  - Prague
PB  - Academia
KW  - Álgebra booleana
KW  - Lógica simbólica y matemática
ER  -