TY - GEN AU - Howson , Colin TI - Logic with trees: an introduction to symbolic logic SN - 0415133424 U1 - 160 PY - 1997/// CY - New York PB - Routledge KW - LOGIC-SYMBOLIC AND MATHEMATICAL KW - LOGIC ER -