Natural deduction style

A presentation of Logical systems where Inference rules are organized into Introduction rule and Elimination rule for each connective, with proofs structured as trees that introduce and discharge assumptions.