2013年4月8日月曜日

構成的両刀論法:自然演繹NKにおける証明

命題論理の自然演繹における諸定理 【20】構成的両刀論法の証明を新規作成、アップロード。