WEKO3
アイテム / Cut-free Gentzen-style systems for some normal extensions of S4 and intermediate logics / 245921
245921
ファイル | ライセンス |
---|---|
245921.pdf (6.1 MB) sha256 08f6297ac46cd303e5f381bf6b86fbdf570cb97f9b9913f55cfc3f5942eb9630 |
公開日 | 2013-05-16 | |||||
---|---|---|---|---|---|---|
ファイル名 | 245921.pdf | |||||
本文URL | https://repository.dl.itc.u-tokyo.ac.jp/record/4900/files/245921.pdf | |||||
ラベル | 245921.pdf | |||||
フォーマット | application/pdf | |||||
サイズ | 6.1 MB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|