WEKO3
アイテム
a review of From constructive mathematics to computable analysis via the realizability interpretation by Lietz Peter
http://hdl.handle.net/2241/0002001121
http://hdl.handle.net/2241/0002001121eb3aac27-743b-4164-901a-cfa34db287b7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
1131.03303.pdf (259 KB)
|
|
| Item type | アイテムタイプA(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2021-08-24 | |||||||
| タイトル | ||||||||
| タイトル | a review of From constructive mathematics to computable analysis via the realizability interpretation by Lietz Peter | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| 資源タイプ | ||||||||
| 資源タイプ | review article | |||||||
| 著者 |
NISHIMURA Hirokazu
× NISHIMURA Hirokazu
|
|||||||
| 著者情報 | ||||||||
| 所属・氏名 | 数理物質系; 西村, 泰一; ニシムラ, ヒロカズ; NISHIMURA, Hirokazu | |||||||
| 研究者総覧URL | http://trios.tsukuba.ac.jp/researcher/0000000478 | |||||||
| 書誌情報 |
en : zbMATH Open 発行日 2021 |
|||||||
| アクセス権 | ||||||||
| アクセス権 | open access | |||||||
| 権利情報 | ||||||||
| 権利情報 | © 2021 FIZ Karlsruhe GmbH | |||||||
| 出版者 | ||||||||
| 出版者 | FIZ Karlsruhe the European Mathematical Society and the Heidelberg Academy of Sciences and Humanities | |||||||
| 関連情報 | ||||||||
| 関連識別子 | https://zbmath.org/1131.03303 | |||||||
| 関連名称 | Zbl 1131.03303 | |||||||
