長岡亮介の著作

総合的研究 論理学で学ぶ数学――思考ツールとしてのロジック