| Structural Proof Theory (With an Appendix by Aarne Ranta) S Negri, J von Plato, A Ranta Cambridge University Press, 2001 | 785* | 2001 |
| Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective J von Plato Cambridge University Press, 1994 | 556 | 1994 |
| Proof Analysis: A Contribution to Hilbert's Last Problem S Negri, J von Plato Cambridge University Press, 2011 | 191 | 2011 |
| Natural deduction with general elimination rules J von Plato Archive for Mathematical Logic 40 (7), 541-567, 2001 | 178 | 2001 |
| Cut elimination in the presence of axioms S Negri, J von Plato The Bulletin of Symbolic Logic, 418-435, 1998 | 156 | 1998 |
| The axioms of constructive geometry J von Plato Annals of Pure and Applied Logic 76 (2), 169-200, 1995 | 102 | 1995 |
| The method of arbitrary functions J von Plato The British Journal for the Philosophy of Science 34 (1), 37-47, 1983 | 94 | 1983 |
| Gentzen's proof of normalization for natural deduction J von Plato, G Gentzen The Bulletin of Symbolic Logic 14 (2), 240-257, 2008 | 87* | 2008 |
| Boltzmann's ergodic hypothesis J von Plato Archive for History of Exact Sciences 42 (1), 71-89, 1991 | 74 | 1991 |
| The development of proof theory J von Plato Stanford Encyclopedia of Philosophy, 2008 | 60 | 2008 |
| Gentzen und die Beweistheorie J von Plato Menzler-Trott, E. Gentzens Problem: Mathematische Logik im …, 2001 | 53* | 2001 |
| Elements of Logical Reasoning J von Plato Cambridge University Press, 2013 | 50 | 2013 |
| A proof of Gentzen's Hauptsatz without multicut J von Plato Archive for Mathematical Logic 40, 9-18, 2001 | 46 | 2001 |
| Gentzen's proof systems: byproducts in a work of genius J von Plato The Bulletin of Symbolic Logic, 313-367, 2012 | 37 | 2012 |
| Proof-theoretical analysis of order relations S Negri, J von Plato, T Coquand Archive for Mathematical Logic 43 (3), 297-309, 2004 | 37 | 2004 |
| Positive lattices J von Plato Reuniting the Antipodes—Constructive and Nonstandard Views of the Continuum …, 2001 | 33 | 2001 |
| The significance of the ergodic decomposition of stationary measures for the interpretation of probability J von Plato Synthese 53 (3), 419-432, 1982 | 33 | 1982 |
| The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age J von Plato Princeton University Press, 2017 | 32 | 2017 |
| Sequent calculus in natural deduction style S Negri, J von Plato The Journal of Symbolic Logic 66, 1803-1816, 2001 | 31 | 2001 |
| Probability and determinism J von Plato Philosophy of Science, 51-66, 1982 | 31 | 1982 |
Sara NegriUniversity of Genoa在 unige.it 的电子邮件经过验证
