検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
$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 410
資料種別