新井敏康：数学基礎論——Mathematical Logic——，岩波書店，2011年，536ページ - 坪井, 明人 (数学, 2013)
Keywords: 数学基礎論; 数理論理学