- Peter Smith An Introduction to Gödel's Theorems, 2nd Edition, Cambridge University Press, Cambridge Introductions to Philosophy Series, 2013
- Kevin C. Klement ''Neo-logicism and Russell's Logicism,'' in: Russell: The Journal of Bertrand Russell Studies, vol. 32, no.2, 2012-2013
- Michael Scanlan ''The Denoting Century, 1905–2005 [Review of G. Imaguire and B. Linsky, eds., On Denoting 1905–2005],'' in: Russell: The Journal of Bertrand Russell Studies, vol. 26, no. 2, 2006
- Michael Scanlan ''Mind Celebrates OD's Centenary [Review of ''100 Years of 'On Denoting''', Mind, vol. 114, no. 456, 2005],'' in: Russell: The Journal of Bertrand Russell Studies, vol. 27, no. 2, 2007
- Michael Scanlan ''Russell vs. Meinong: 100 Years Later [Review of N. Griffin and D. Jacquette, eds., Russell vs. Meinong],'' in: Russell: The Journal of Bertrand Russell Studies, vol. 30, no. 1, 2010
- 清水義夫 『記号論理学講義 基礎理論 束論と圏論 知識論』、東京大学出版会、2013年
- 新井敏康 「「数学基礎論」第2刷の際の訂正」、岩波書店刊、『数学基礎論』、訂正表、PDF
- 新井敏康 「「数学基礎論」第3刷の際の訂正」、岩波書店刊、『数学基礎論』、訂正表、PDF