S S · S. S. Wainer · S W
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Proofs and Computations | 978-0-521-51769-0 (0-521-51769-9) | 2011 | Helmut Schwichtenberg |
| Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 | 978-0-521-41413-5 (0-521-41413-X) | 1993 | Peter Aczel · Harold Simmons |