Statement Logic and the MPL Bridge

Proofs, trees, and the bridge to predicate logic