| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| An Introduction to Category Theory | Paperback | 978-0-521-28304-5 (0-521-28304-3) | 2011 | |
| An Introduction to Category Theory | Hardcover | 978-1-107-01087-1 (1-107-01087-X) | 2011 | |
| 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 · Stanley S. Wainer |
H.S. · H. Simmons · Harold E. Simmons · Harold H Simmons · Harold Simmons Booth · Harold W. Simmons