Stanley S. Wainer

No bio available. Add one in Open Library.

Books by Stanley S. Wainer (50 max)

+ shelf+ list

Proofs and Computations

2011

Helmut Schwichtenberg, Stanley S. Wainer

+ shelf+ list

Proof Theory A Selection of Papers from the Leeds Proof Theory Programme 1990

2008

Peter Aczel, Harold Simmons, Stanley S. Wainer

+ shelf+ list

Proofs and Computations (Perspectives in Logic)

2012

Helmut Schwichtenberg, Stanley S. Wainer