2011年3月15日火曜日

二項述語・2変数命題関数の定義

二項述語・2変数命題関数の定義についてのノートを加筆修正。