No.362
数学基礎論
Foundation of Mathematics
1979/05/30〜1979/06/02
柘植 利之
TSUGE,TOSHIYUKI
目 次
イリノイ大学 / ワシントン大学 竹内 外史 / 千谷 慧子 (TAKEUCHI,GAISHI / CHITANI,SATOKO)
名古屋大学理学部 安本 雅洋 (YASUMOTO,MASAHIRO)
3.
数学言語の生成文法的構造 (数学基礎論)--------------------------------------------------------------------------------------------30
東海大学理学部 近藤 基吉 (KONDO,MOTOKICHI)
名古屋大学教養部 柘植 利之 (TSUGE,TOSHIYUKI)
九州大学工学部 倉田 令二朗 (KURATA,REIJIRO)
九州大学工学部 下田 守 (SHIMODA,MAMORU)
筑波大学数学系 本橋 信義 (MOTOHASHI,NOBUYOSHI)
神戸大学教養部 角田 譲 (KAKUDA,YUZURU)
豊田工業高等専門学校 大浜 茂生 (OHAMA,SHIGEO)
イリノイ大学 / 名古屋大学理学部 竹内 外史 / 篠田 寿一 (TAKEUCHI,GAISHI / SHINODA,JUICHI)
早稲田大学理工学部 / 早稲田大学理工学部 廣瀬 健 / 高橋 真 (HIROSE,KEN / TAKAHASHI,MAKOTO)
東京大学教養学部 難波 完爾 (NAMBA,KANJI)