Logic with Trees (An Introduction to Symbolic Logic) - 9780415133425