Possible Duplicate: What is the best package out there to typeset proof trees? Is there some package to use in order to write nice natural deductions (logical deduction trees)? Examples ...
So, I want to typeset some proof trees, i.e. trees of inference rules like those in natural deduction (see diagram below). Which are the best packages that you have found that allow you to do this, ...