書誌情報	ファイル
表紙・目次    (1979-09)   数理解析研究所講究録, 362
Heyting Valued Set Theory (数学基礎論)   竹内, 外史; 千谷, 慧子 (1979-09)   数理解析研究所講究録, 362: 1-24
An Affirmative Answer of a Joyal's Problem (数学基礎論)   安本, 雅洋 (1979-09)   数理解析研究所講究録, 362: 25-29
数学言語の生成文法的構造 (数学基礎論)   近藤, 基吉 (1979-09)   数理解析研究所講究録, 362: 30-50
Generalized Recursion Theoryについて (数学基礎論)   柘植, 利之 (1979-09)   数理解析研究所講究録, 362: 51-74
集合論$Z_y$のToposへのInterpretation (数学基礎論)   倉田, 令二朗 (1979-09)   数理解析研究所講究録, 362: 75-91
Sheaves Over cHa and the Heyting Valued Model $V^{(H)}$ (数学基礎論)   下田, 守 (1979-09)   数理解析研究所講究録, 362: 92-105
一意性条件の存在条件による近似理論 (数学基礎論)   本橋, 信義 (1979-09)   数理解析研究所講究録, 362: 106-113
正規イデアルのPrecipitousnessを保持するCohen拡大の一条件について (数学基礎論)   角田, 譲 (1979-09)   数理解析研究所講究録, 362: 114-123
Paris-Harringtonの結果について (数学基礎論)   大浜, 茂生 (1979-09)   数理解析研究所講究録, 362: 124-135
Silver Machineについて (数学基礎論)   竹内, 外史; 篠田, 寿一 (1979-09)   数理解析研究所講究録, 362: 136-156
Sheaf of Structuresにより保存されるSentenceについて (数学基礎論)   廣瀬, 健; 高橋, 真 (1979-09)   数理解析研究所講究録, 362: 157-165
Boolean Valued Combinatorics (数学基礎論)   難波, 完爾 (1979-09)   数理解析研究所講究録, 362: 166-185