Logic with trees an introduction to symbolic logic - Howson, Colin (Routledge, 1997)