Rav, Yehuda. 2007. “A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians’ Proof Practices.”Philosophia Mathematica 15(3): 291–320.
Rav, Yehuda. 2008. “The Axiomatic Method in Theory and in Practice.”Logique et Analyse 51(202): 125–147.