検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| $B^{(B')}$-Valued Extensions for B-Valued Structures (ブール代数値の解析学と超準解析) 田嶋, 信一 (1978-10) 数理解析研究所講究録, 336: 38-40 |  |
| Sheaves of B-Valued Structures (ブール代数値の解析学と超準解析) 高橋, 真 (1978-10) 数理解析研究所講究録, 336: 87-100 | |
| 圈論の集合論的基礎づけに関するノートとくに"$Z_O$ in ZF"について (ブール代数値の解析学と超準解析) 倉田, 令二朗 (1978-10) 数理解析研究所講究録, 336: 53-64 | |
| Cherlin Chainの集合論への応用 (ブール代数値の解析学と超準解析) 安本, 雅洋 (1978-10) 数理解析研究所講究録, 336: 24-37 | |
| IdealのSaturationの問題について (ブール代数値の解析学と超準解析) 角田, 譲 (1978-10) 数理解析研究所講究録, 336: 41-52 | |
| 最近のRecursion Theoryについて (ブール代数値の解析学と超準解析) 田中, 尚夫 (1978-10) 数理解析研究所講究録, 336: 65-86 | |
| Type 2 ObjectでのRecursion (ブール代数値の解析学と超準解析) 篠田, 寿一 (1978-10) 数理解析研究所講究録, 336: 101-116 | |
| 多値論理におけるValid Sequentについて (ブール代数値の解析学と超準解析) 高野, 道夫 (1978-10) 数理解析研究所講究録, 336: 1-23 | |
| 表紙・目次 (1978-10) 数理解析研究所講究録, 336 | |
| 超準解析を内蔵するニ,三の集合論の紹介 (ブール代数値の解析学と超準解析) 斎藤, 正彦 (1978-10) 数理解析研究所講究録, 336: 117-125 | |
絞り込み
発行日
- 12 1978
資料種別