数学についてのwebノート
更新履歴。
2013年6月3日月曜日
自然演繹NKにおける諸定理
命題論理の自然演繹NKにおける諸定理
。
各項目を
意味論的な取り扱い
NKの派生推論規則としての取り扱い
にリンク。
‹
›
ホーム
ウェブ バージョンを表示