Logic With Trees: An Introduction to Symbolic Logic