Article John M. Campbell; Paul and Levrie (2024)
The Bauer–Ramanujan formula: historical analyses and perspectives. British Journal for the History of Mathematics (pp. 193-214). (/isis/citation/CBB225698711/) unapi

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

Article Hannah C. Erlwein (2024)
Ibn Sīnā on proving causality. Arabic Sciences and Philosophy (pp. 209-231). (/isis/citation/CBB518856825/) unapi

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

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

Article Reinhard Siegmund-Schultze (2022)
Another look at the two Egyptian pyramid volume ‘formulas’ of 1850 BCE. British Journal for the History of Mathematics (pp. 171-178). (/isis/citation/CBB708563462/) 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). (/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). (/isis/citation/CBB167711373/) unapi

Article Palle Yourgrau (2020)
Proof vs Provability: On Brouwer’s Time Problem. History and Philosophy of Logic (pp. 140-153). (/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). (/isis/citation/CBB164105590/) unapi

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

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

Article Ansten Klev (2018)
A Road Map of Dedekind’s Theorem 66. HOPOS (pp. 241-277). (/isis/citation/CBB158366327/) 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). (/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). (/isis/citation/CBB536252196/) unapi

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

Chapter Edward C. Halper (2017)
Aristotle’s Scientific Method. In: Reading Aristotle (pp. 50-96). (/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). (/isis/citation/CBB594548710/) unapi

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

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