■

• 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