TY - BOOK AU - Lukasiewicz Jan AU - Wojtasiewicz Olgierd TI - Elements of mathematical logic U1 - 164 PY - 1963/// CY - London PB - Pergamon Press KW - Mathematical logic KW - Symbolic logic N1 - Translated form Polish ER -