von Plato, Jan: Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective. Cambridge University Press, 1994. ISBN 0-521-59735-8.
Negri, Sara & von Plato, Jan: Structural Proof Theory.Cambridge: Cambridge University Press, 2001, ISBN 0-521-79307-6.
Negri, Sara & von Plato, Jan: Proof Analysis. A Contribution to Hilbert's Last Problem. Cambridge University Press, Cambridge 2011, ISBN 978-1-107-00895-3.
von Plato, Jan: Elements of Logical Reasoning. Cambridge University Press, Cambridge 2013, ISBN 978-1-107-03659-8.
von Plato, Jan: Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics. Springer, Cham 2017, ISBN 978-3-319-42119-3.
von Plato, Jan: The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age. Princeton University Press, 2017, ISBN 978-0-691-17417-4.
von Plato, Jan: Can Mathematics be Proved Consistent? Gödel's Shorthand Notes and lectures on Incompleteness.Springer, Cham 2020, ISBN 978-3-030-50878-4.
Hämeen-Anttila, Maria & von Plato, Jan: Kurt Gödel: The Princeton Lectures on Intuitionism. Springer, Cham 2021, ISBN 978-3-030-87296-0.
von Plato, Jan: Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics. Springer, Cham 2022, ISBN 978-3-030-97134-2.
Negri, Sara & von Plato, Jan: Oiva Ketonen: Investigations into the Predicate Calculus. College Publications, London 2022.
Hämeen-Anttila, Maria & von Plato, Jan: Kurt Gödel: Results on Foundations. Springer, Cham 2023.
von Plato, Jan: Portrait of Young Gödel. Springer, Cham 2024.
↑Follesdal, Dagfinn: "Scandinavia, philosophy in", teoksessa Craig, Edward (toim.): The Routledge Encyclopedia of Philosophy. London: Routledge, 1998. ISBN 0-415-07310-3.