2013年6月6日木曜日

2013年6月3日月曜日

スマホで《体上の行列》

《体上の行列》に関する下記項目について、スマホ向け表示設定を追記、アップロード。

自然演繹NKにおける諸定理

命題論理の自然演繹NKにおける諸定理

各項目を
にリンク。