A continuation of the authors' book Structural Proof Theory, one of the basic sources for all students and researchers on logic. Presents a way of extending the proof theory of pure logic to cover mathematical axiomatic theories and systems of philosophical logic.
Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.
