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