| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies | 978-3-540-11170-2 | 2009 | Wilfred Buchholz · Wilfried Sieg · Solomon Feferman | |
| Logic Colloquium '02 | 978-1-108-63167-9 | 2020 | Zoé Chatzidakis · Peter Koepke | |
| Logic Colloquium '02: Lecture Notes in Logic 27 | 978-1-56881-301-1 | 2006 | Zoé Chatzidakis · Peter Koepke | |
| Proof Theory: An Introduction | 978-0-387-51842-8 | 1990 | ||
| Proof Theory: An Introduction (Lecture Notes in Mathematics) | 978-3-540-51842-6 | 1989 | ||
| Proof Theory: The First Step into Impredicativity | 978-3-540-69318-5 | 2010 | ||
A K Peters/CRC Press · Cambridge University Press · Springer