TY - BOOK AU - Rieger,Ladislav TI - Algebraic methods of mathematical logic U1 - 511.3 PY - 1967/// CY - Prague, New York PB - Academia, Academic Press KW - Logic, Symbolic and mathematical N1 - Translated from the author's unpublished MS; Bibliography: p. 200-206 ER -