検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 公理的集合論の一角を彷徨って : 一角からの結果紹介 (数学基礎論とその応用) 金井, 康雄 (2017-10) 数理解析研究所講究録, 2050: 123-139 |  |
| 限量子記号消去アルゴリズムとその計算の現状について (数学基礎論とその応用) 佐藤, 洋祐 (2017-10) 数理解析研究所講究録, 2050: 162-167 | |
| Coding Polish spaces (Mathematical Logic and Its Applications) Mejía, Diego Alejandro (2017-10) 数理解析研究所講究録, 2050: 153-161 | |
| Coherence Spaces and Geometry of Interaction (Mathematical Logic and Its Applications) Hoshino, Naohiko (2017-10) 数理解析研究所講究録, 2050: 140-152 | |
| Genericな集合のチューリング次数について (数学基礎論とその応用) 隈部, 正博 (2017-10) 数理解析研究所講究録, 2050: 168-181 | |