Pure proof theory, aims, methods and results

Cite this paper

@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} }