Pdf Logic With Trees An Introduction To Symbolic Logic