2010年12月26日日曜日

N項述語・n変数命題関数

N項述語・n変数命題関数についてのノートを作成・アップロード。