Cambridge University Press · Springer
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Mathesis Universalis, Computability and Proof | 978-3-030-20446-4 (3-030-20446-4) | 2019 | Stefania Centrone · Deniz Sarikaya · Peter M. Schuster | |
| Proof Analysis: A Contribution to Hilbert's Last Problem | 978-1-107-00895-3 (1-107-00895-6) | 2011 | Jan von Plato | |
| Structural Proof Theory | 978-0-521-06842-0 (0-521-06842-8) | 2008 | ||
Professor Sara Negri · [s.n.] · Sara Nosari · Sarah Neuhauser · Sarah Njeri