Cambridge University Press · Center for the Study of Language and Inf
| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Non-Well-Founded Sets | Paperback | 978-0-937073-22-3 (0-937073-22-9) | 1988 | |
| Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 | " | 978-0-521-05416-4 (0-521-05416-8) | 2008 | |
| Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990 | Hardcover | 978-0-521-41413-5 (0-521-41413-X) | 1993 | Harold Simmons · Stanley S. Wainer |