Article Anellis, Irving; (2012)
Guest Editor's Introduction: JvH100 unapi

Article Anellis, Irving; (2012)
Editor's Introduction to Jean van Heijenoort, Historical Development of Modern Logic unapi

Article Feferman, Solomon; (2012)
On Rereading van Heijenoort's Selected Essays unapi

Article Dawson, John W., Jr.; (2012)
Jean van Heijenoort and the Gödel Editorial Project unapi

Article Feferman, Anita Burdman; (2012)
Jean van Heijenoort: Kaleidoscope unapi

Article de Rouilhan, Philippe; (2012)
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort unapi

Article Abeles, Francine F.; (2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees unapi

Article Dick, Stephanie; (2011)
AfterMath: The Work of Proof in the Age of Human--Machine Collaboration unapi

Article Centrone, Stefania; (2012)
Strenge Beweise und das Verbot der metábasis eis állo génos unapi

Article Babbitt, Donald; Goodstein, Judith; (2011)
Federigo Enriques's Quest to Prove the “Completeness Theorem” unapi

Book John P. Burgess; (2015)
Rigor and Structure unapi

Article Cohoe, Caleb; (2013)
There must be a First: Why Thomas Aquinas Rejects Infinite, Essentially Ordered, Causal Series unapi

Article van Heijenoort, Jean; (2012)
Historical Development of Modern Logic unapi

Article Anellis, Irving; (2012)
Jean van Heijenoort's Conception of Modern Logic, in Historical Perspective unapi

Chapter von Plato, Jan; (2009)
Proof Theory of Classical and Intuitionistic Logic unapi

Chapter Knuutila, Simo; Kukkonen, Taneli; (2011)
Thought Experiments and Indirect Proofs in Averroes, Aquinas, and Buridan unapi

Article Rachel Boddy; (2019)
Frege’s Unification unapi

Chapter Marco Zingano; (2017)
Ways of Proving in Aristotle unapi

Article Bellissima, Fabio; (2002)
Il sistema assiomatico-deduttivo degli Elementi armonici di Aristosseno unapi

Chapter Edward C. Halper; (2017)
Aristotle’s Scientific Method unapi