I was hoping recommend to me a good introduction to propositional logic tableaux that is designed to be done by hand on paper.
So far I've seen Graham's Priests approach (Introduction to non-Classical Logic) and Raymond Smullyan's (Beginners Guide to Logic), but they both seem to be not quite as clear as I would like for true beginners (e.g. 1st year college students).
For instance, the exact rules of "checking off" used formulas, and making clear the reason for why a branch occurs, don't seem to be clear enough to me in these accounts. At least, the informal way they are discussed would probably cause confusion among beginners.
So are there any good books or tutorials that you would recommend?