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

License: In Copyright
Time
Owner Organization

Last Updated:

Uploaded: 2020-12-17