WEKO3
アイテム / a review of From constructive mathematics to computable analysis via the realizability interpretation by Lietz, Peter / 1131
1131
ファイル | ライセンス |
---|---|
1131.03303.pdf (265.0 kB) sha256 faa5cc785a1a9fad89de427946b78c5fa711c14574e9faca89b969b8e0b76b87 |
公開日 | 2021-08-24 | |||||
---|---|---|---|---|---|---|
ファイル名 | 1131.03303.pdf | |||||
本文URL | https://tsukuba.repo.nii.ac.jp/record/2001121/files/1131.03303.pdf | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 259 KB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|