RIMS共同研究ー算術体系の証明論

今年度の証明論研究会は,京都大学数理解析研究所の共同研究事業の一つとして, 『算術体系の証明論』として開催されます.

日程など

プログラム(暫定版)

懇親会について

8月22日(火)19:00ごろより,懇親会を予定しています(場所未定).あらかじめ 人数を把握するため,参加を希望される方は8月11日(金)までに,黒田までご連絡 いただければ幸いです.

問い合わせ先

この研究会についてのお問い合わせは,

群馬県立女子大学文学部 黒田 覚
Tel : 0270-65-8511(内線343)
e-mail: satoru[at]gpwu[dot]ac[dot]jp

まで


黒田のページへ