Logic with trees : - Howson, Colin (Routledge, 1997)