TY - BOOK AU - Colin Howson TI - Logic with trees SN - 0415133416 U1 - 160 PY - 1997/// CY - New York PB - Routledge ER -