کتاب های Stanley S. Wainer
Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990
Peter Aczel, Harold Simmons, Stanley S. Wainer, 1993
Proofs and Computations
Helmut Schwichtenberg, Stanley S. Wainer, 2012
