TY - BOOK AU - Lokasiewicz Jan TI - Elements of mathematical logic vol 31 PY - 1963/// ER -