Logic with Trees door Colin Howson