Cambridge University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective | Paperback | 978-0-521-59735-7 | 1998 | ||
| Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective | Hardcover | 978-0-521-44403-3 | 1994 | ||
| Elements of Logical Reasoning | Paperback | 978-1-107-61077-4 | 2014 | ||
| Elements of Logical Reasoning | Hardcover | 978-1-107-03659-8 | 2013 | ||
| Proof Analysis: A Contribution to Hilbert's Last Problem | " | 978-1-107-00895-3 | 2011 | Sara Negri | |
| Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics | Taschenbuch | 978-3-319-82502-1 | 2018 | ||
| Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics | Gebunden | 978-3-319-42119-3 | 2017 | ||
| Structural Proof Theory | Printed Access Code | 978-0-511-52734-0 | 2010 | Professor Sara Negri | |
| Structural Proof Theory | Paperback | 978-0-521-06842-0 | 2008 | " | |
| Structural Proof Theory | Hardcover | 978-0-521-79307-0 | 2001 | " | |
J. P. · J.V. · Jan von Plato , Appendix by Aarne Ranta Sara Negri · Plato Jan von · V.P.