書誌情報	ファイル
表紙・目次    (1978-10)   数理解析研究所講究録, 336
多値論理におけるValid Sequentについて (ブール代数値の解析学と超準解析)   高野, 道夫 (1978-10)   数理解析研究所講究録, 336: 1-23
Cherlin Chainの集合論への応用 (ブール代数値の解析学と超準解析)   安本, 雅洋 (1978-10)   数理解析研究所講究録, 336: 24-37
$B^{(B')}$-Valued Extensions for B-Valued Structures (ブール代数値の解析学と超準解析)   田嶋, 信一 (1978-10)   数理解析研究所講究録, 336: 38-40
IdealのSaturationの問題について (ブール代数値の解析学と超準解析)   角田, 譲 (1978-10)   数理解析研究所講究録, 336: 41-52
圈論の集合論的基礎づけに関するノートとくに"$Z_O$ in ZF"について (ブール代数値の解析学と超準解析)   倉田, 令二朗 (1978-10)   数理解析研究所講究録, 336: 53-64
最近のRecursion Theoryについて (ブール代数値の解析学と超準解析)   田中, 尚夫 (1978-10)   数理解析研究所講究録, 336: 65-86
Sheaves of B-Valued Structures (ブール代数値の解析学と超準解析)   高橋, 真 (1978-10)   数理解析研究所講究録, 336: 87-100
Type 2 ObjectでのRecursion (ブール代数値の解析学と超準解析)   篠田, 寿一 (1978-10)   数理解析研究所講究録, 336: 101-116
超準解析を内蔵するニ,三の集合論の紹介 (ブール代数値の解析学と超準解析)   斎藤, 正彦 (1978-10)   数理解析研究所講究録, 336: 117-125
完備ブール代数値の解析学 (ブール代数値の解析学と超準解析)   難波, 完爾 (1978-10)   数理解析研究所講究録, 336: 126-134
証明論の教科書の中で超準解析を書くとすると (ブール代数値の解析学と超準解析)   本橋, 信義 (1978-10)   数理解析研究所講究録, 336: 135-149