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