Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 /
Aczel, Peter,1941-
Simmons, Harold.
Wainer, S. S.
Cambridge [England] ; New York, N.Y. : Cambridge University Press,
1992.
Includes bibliographic references.
Proof theory.