Stanley S. Wainer

Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

Peter Aczel, Harold Simmons, Stanley S. Wainer