- Frederic B. Fitch “The Consistency of the Ramified Principia,” in: The Journal of Symbolic Logic, vol. 3, no. 4, 1938
- Irving M. Copi “The Inconsistency or Redundancy of Principia Mathematica,” in: Philosophy and Phenomenological Research, vol. 11, no. 2, 1950
- John Myhill “Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility,” in: The Journal of Symbolic Logic, vol. 16, no. 1, 1951
- Alonzo Church “Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski,” in: The Journal of Symbolic Logic, vol. 41, no. 4, 1976
- “Errata [for A. Church's Paper “Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski”],” in: The Journal of Symbolic Logic, vol. 45, no. 4, 1980
- Otávio Bueno and Øystein Linnebo ed. New Waves in Philosophy of Mathematics, Palgrave Macmillan, New Waves in Philosophy Series, 2009