WEKO3
-
RootNode
アイテム
Herbrandの演繹メタ定理の逆（注意）
https://iuk-repo.repo.nii.ac.jp/records/1408
https://iuk-repo.repo.nii.ac.jp/records/14083012c906-b5db-41be-b3ea-0a1a8ab31b24
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
13460226_v63_4_M.Nakajima_p.315-319 (353.5 kB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2023-03-14 | |||||||||
| タイトル | ||||||||||
| タイトル | Herbrandの演繹メタ定理の逆（注意） | |||||||||
| タイトル | ||||||||||
| タイトル | The Inverse of Herbrand's Deduction Meta-Theorem (A Remark) | |||||||||
| 言語 | en | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 言語 | en | |||||||||
| 主題Scheme | Other | |||||||||
| 主題 | Herbrand's deduction meta-theorem | |||||||||
| キーワード | ||||||||||
| 言語 | en | |||||||||
| 主題Scheme | Other | |||||||||
| 主題 | deduction theorem, | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| 資源タイプ | departmental bulletin paper | |||||||||
| 著者 |
中嶋, 眞澄
× 中嶋, 眞澄
|
|||||||||
| 著者(ヨミ) |
ナカジマ, マスミ
× ナカジマ, マスミ |
|||||||||
| 抄録 | ||||||||||
| 内容記述タイプ | Abstract | |||||||||
| 内容記述 | In this paper we give the inverse of Herbrand's deduction meta-theorem which is not seen in almost all text books as far as the author knowes. | |||||||||
| 書誌情報 |
鹿児島経済論集 en : The Kagoshima journal of economics 巻 63, 号 4, p. 315-319, 発行日 2023-03-07 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 13460226 | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA11479673 | |||||||||
| フォーマット | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | application/pdf | |||||||||
| 著者版フラグ | ||||||||||
| 出版タイプ | VoR | |||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||
| 出版者 | ||||||||||
| 出版者 | 鹿児島国際大学経済学部学会 | |||||||||
| 出版者（ヨミ） | ||||||||||
| カゴシマ コクサイ ダイガク ケイザイ ガクブ ガッカイ | ||||||||||
| 別言語の出版者 | ||||||||||
| The Faculty of Economics, The International University of Kagoshima | ||||||||||
| 資源タイプ | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 論文(Article) | |||||||||
| 資源タイプ・ローカル | ||||||||||
| 紀要論文 | ||||||||||
| 資源タイプ・NII | ||||||||||
| Departmental Bulletin Paper | ||||||||||
| 資源タイプ・DCMI | ||||||||||
| text | ||||||||||
| 資源タイプ・ローカル表示コード | ||||||||||
| 02 | ||||||||||
