総目次からmathematical appendixesへのリンク。

総目次から、
「数学についてのwebノート」のglobal edition
　　  mathematical appendixes
へのリンク
を敷設。

命題論理の自然演繹で認められた操作

命題論理の自然演繹についてのノートに、
自然演繹で認められた操作を追加。アップロード。