##### This article has been cited by the following publications. This list is generated based on data provided by Crossref.

*Philosophy of mathematical practice: a primer for mathematics educators*. ZDM, Vol. 52, Issue. 6, p. 1113.

*Proof vs Truth in Mathematics*. Studia Humana, Vol. 9, Issue. 3-4, p. 10.

*Hajnal Andréka and István Németi on Unity of Science*. Vol. 19, Issue. , p. 165.

*PLANS AND PLANNING IN MATHEMATICAL PROOFS*. The Review of Symbolic Logic, Vol. 14, Issue. 4, p. 1030.

*NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF*. The Review of Symbolic Logic, Vol. 14, Issue. 1, p. 250.

*A metaphysical foundation for mathematical philosophy*. Synthese, Vol. 200, Issue. 4,

*MATHEMATICAL RIGOR AND PROOF*. The Review of Symbolic Logic, Vol. 15, Issue. 2, p. 409.

*Philosophical Assumptions Behind the Rejection of Computer-Based Proofs*. KRITERION – Journal of Philosophy, Vol. 0, Issue. 0,

*Rationality in Mathematical Proofs*. Australasian Journal of Philosophy, p. 1.