TY - BOOK AU - Howson, Colin TI - Logic with trees: an introduction to symbolic logic SN - 0415133424 U1 - 160 PY - 1997/// CY - London PB - Routledge ER -