TY  - GEN
AU  - Rieger, Ladislav
TI  - Algebraic methods of mathematical logic: Ladislav Rieger
U1  - 510.6 
PY  - 1967///
CY  - Prague
PB  - Academia
KW  - Logica matematica
KW  - Logica predicatelor
KW  - Metode algebrice; aplicatii
N1  - Contine bibliogr. si index
ER  -