TY - BOOK AU - Smith, Vincent Edward [1915-...] TI - The elements of logic U1 - 160 PY - 1957/// KW - GEN KW - CHU ER -