|
イワタ ソウヘイ
IWATA Sohei
岩田 荘平 所属 教養部 教養部本属 職種 講師 |
|
| 言語種別 | 英語 |
| 発行・発表の年月 | 2019/02 |
| 形態種別 | 学術雑誌 |
| 査読 | 査読あり |
| 標題 | On arithmetical completeness of the logic of proofs |
| 執筆形態 | 共著 |
| 掲載誌名 | Annals of Pure and Applied Logic |
| 掲載区分 | 国外 |
| 巻・号・頁 | 170(2),pp.163-179 |
| 総ページ数 | 27 |
| 著者・共著者 | Sohei Iwata, Taishi Kurahashi |
| researchmap用URL | https://researchmap.jp/sohei_iwata/published_papers/32184559 |