総合的研究論理学で学ぶ数学 : 思考ツールとしてのロジック - 長岡, 亮介 (旺文社, 2017)