原題は、 Language, Proof and Logic 慶應義塾大学出版会株式会社が刊行した、 スタンフォード大が提供しているthe Language, Proof...

OpenCourseWare（略してOCW）とは2001年に米マサチューセッツ工科大学（MIT）が開始したプロジェクトで、高等教育における教材情報を無償でインターネットに...