Proof theory : a selection of papers from the leeds proof theory programme - Aczel, Peter, 1941- (Cambridge University Press, 1992)