Article Christian Greiffenhagen (2024)
Checking correctness in mathematical peer review. Social Studies of Science (pp. 184-209). (/p/isis/citation/CBB618974991/) unapi

Article Favio Ezequiel Miranda Perea; Lourdes del Carmen González Huesca (2023)
On Conceptual changes in Computer Assisted Proofs. Almagest (pp. 222-245). (/p/isis/citation/CBB686392053/) unapi

Book Gabriele Lolli (2022)
The Meaning of Proofs: Mathematics as Storytelling. (/p/isis/citation/CBB293361801/) unapi

Article Andrea Del Centina; Alessandra Fiocca (2021)
The chords theorem recalled to life at the turn of the eighteenth century. Historia Mathematica (pp. 6-39). (/p/isis/citation/CBB673858384/) unapi

Article Thierry Coquand; Stefan Neuwirth (2020)
Lorenzen's Proof of Consistency for Elementary Number Theory. History and Philosophy of Logic (pp. 281-290). (/p/isis/citation/CBB167711373/) unapi

Article Palle Yourgrau (2020)
Proof vs Provability: On Brouwer’s Time Problem. History and Philosophy of Logic (pp. 140-153). (/p/isis/citation/CBB479319966/) unapi

Article Marwan Rashed (2020)
Abū Hāšim Al-Ǧubbāʾī, algèbre et inférence. Arabic Sciences and Philosophy (pp. 191-228). (/p/isis/citation/CBB164105590/) unapi

Article Rachel Boddy (2019)
Frege’s Unification. History and Philosophy of Logic (pp. 135-151). (/p/isis/citation/CBB550734458/) unapi

Book Philip Ording (2019)
99 Variations on a Proof. (/p/isis/citation/CBB176394056/) unapi

Article Karine Chemla (2018)
The Proof Is in the Diagram: Liu Yi and the Graphical Writing of Algebraic Equations in Eleventh-Century China. Endeavour: Review of the Progress of Science (pp. 60-77). (/p/isis/citation/CBB786651004/) unapi

Article Koichi Mikami (June 2018)
The Case of Inferred Doability: An Analysis of the Socio-institutional Background of the STAP Cell Scandal. East Asian Science, Technology and Society: An International Journal (pp. 123-142). (/p/isis/citation/CBB536252196/) unapi

Chapter Marco Zingano (2017)
Ways of Proving in Aristotle. In: Reading Aristotle (pp. 7-49). (/p/isis/citation/CBB121521437/) unapi

Chapter Edward C. Halper (2017)
Aristotle’s Scientific Method. In: Reading Aristotle (pp. 50-96). (/p/isis/citation/CBB181543613/) unapi

Article Timm Lampert (2017)
Underdetermination and Provability: A Reply to Olaf Müller. British Journal for the History of Philosophy (pp. 389-400). (/p/isis/citation/CBB594548710/) unapi

Book John P. Burgess (2015)
Rigor and Structure. (/p/isis/citation/CBB621282384/) unapi

Article Heukelom, Floris (2015)
A History of the Allais Paradox. British Journal for the History of Science (pp. 147-169). (/p/isis/citation/CBB001202248/) unapi

Article Nauenberg, Michael (2014)
Orbital Motion and Force in Newton's Principia; the Equivalence of the Descriptions in Propositions 1 and 6. Archive for History of Exact Sciences (p. 179). (/p/isis/citation/CBB001321045/) unapi

Article Eder, Günther (2013)
Remarks on Independence Proofs and Indirect Reference. History and Philosophy of Logic (pp. 68-78). (/p/isis/citation/CBB001212142/) unapi

Article Cohoe, Caleb (2013)
There must be a First: Why Thomas Aquinas Rejects Infinite, Essentially Ordered, Causal Series. British Journal for the History of Philosophy (p. 838). (/p/isis/citation/CBB001201144/) unapi

Article Harari, Orna (2012)
Simplicius on Tekmeriodic Proofs. Studies in History and Philosophy of Science (p. 366). (/p/isis/citation/CBB001221694/) unapi