S4の拡張及び中間論理に対するカット消去定理の成立するゲンツェン式体系

利用条件: 著作権あり

最終更新日:

登録日: 2020-12-17