Ideas and results in proof theory. Pages 235--307 of: Fenstad, J.E. (ed), Proceedings of second scandinavian logic symposium (1971)

by D Prawitz