No.588
数学基礎論
Logic and the Foundations of Mathematics
1985/11/18〜1985/11/21
篠田 寿一
SHINODA,JUICHI
目 次
福島高等専門学校 阿部 吉弘 (Abe, Yoshihiro)
筑波大学 江田 勝哉
Univ. of Osaka Prefecture Kamo, Shizuo
九州大学工学部 倉田 令二朗
Department of Mathematics, University of Stockholm Martin-Lof, Per
6.
双対空間と算法(数学基礎論)------------------------------------------------------------------------------------------------------108
東京大学教養学部 難波 完爾 (Namba, Kanji)
Hiroshima University 小野 寛晰 (Ono, Hiroakira)
名古屋大学教養学部 小澤 正直 (Ozawa, Masanaro)
Pour-El, Marian Boykan / Richards, Ian
新潟大学教育学部 高野 道夫 (Takano, Mitio)
Institute of Information Science, University of Tsukuba Yasugi, Mariko
Tokai University YASUDA, Yutaka
Yasumoto, Masahiro