WEKO3
アイテム
On sequent systems of the provability logic R for Rosser sentences
https://doi.org/10.15119/00000066
https://doi.org/10.15119/000000665b4eed3a-4321-4425-9794-9f05d700fc5c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
On sequent systems of the provability logic R for Rosser sentences (249.4 kB)
|
.png)
|
| アイテムタイプ | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2014-03-20 | |||||||||||
| タイトル | ||||||||||||
| タイトル | On sequent systems of the provability logic R for Rosser sentences | |||||||||||
| 言語 | en | |||||||||||
| 言語 | ||||||||||||
| 言語 | eng | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
| 資源タイプ | departmental bulletin paper | |||||||||||
| ID登録 | ||||||||||||
| ID登録 | 10.15119/00000066 | |||||||||||
| ID登録タイプ | JaLC | |||||||||||
| 著者 |
佐々木, 克巳
× 佐々木, 克巳
× SASAKI, Katsumi
|
|||||||||||
| 書誌情報 |
ja : アカデミア. 数理情報編 : 南山大学紀要 en : Academia. Mathematical sciences and information engineering : journal of the Nanzan Academic Society 巻 8, p. 1-14, 発行日 2008-03-30 |
|||||||||||
| 出版者 | ||||||||||||
| 出版者 | 南山大学 | |||||||||||
| 言語 | ja | |||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||
| 収録物識別子 | 13463977 | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AA1184028X | |||||||||||
| 著者版フラグ | ||||||||||||
| 出版タイプ | VoR | |||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
