2011年5月25日水曜日

目次項目追加:N項述語・n変数命題関数

論理と集合の目次に、N項述語・n変数命題関数についてのノートへのリンクを追加。