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