TY - BOOK AU - Lukasiewicz, Jan AU - ill. TI - Elements of mathematical logic AV - BC135.L813 1963 CY - London KW - Logic, symbolic and mathematical ER -