Proof Theory: Sequent Calculus and Cut EliminationA detailed guide to proof theory: sequent calculus and cut elimination. Covers key methods, mathematical significance, and real-world applications.
