Methods of Cut-Elimination

Methods of Cut-Elimination
Details
- OL Work ID
- OL16961593W
Subjects
MathematicsSymbolic and mathematical LogicComputer scienceAutomatic theorem provingProof theoryMathematical Logic and FoundationsMathematical Logic and Formal Languages