| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Iterated Inductive Definitions and Subsystems of Analysis | 978-0-387-11170-4 (0-387-11170-0) | 1982 | |
| Proof theory of impredicative subsystems of analysis | 978-88-7088-166-0 (88-7088-166-0) | 2007 | Kurt Schütte |