Pure proof theory, aims, methods and results

@article{Pohlers1996PurePT,
  title={Pure proof theory, aims, methods and results},
  author={Wolfram Pohlers},
  journal={Bulletin of Symbolic Logic},
  year={1996},
  volume={2},
  pages={159-188}
}