Home
セミナー
談話会
集中講義
研究集会
教員紹介
アクセス
キャンパス
セミナー情報
今週のセミナー
来週以降のセミナー
過去の記録
2012年度の記録
2013年 2月25日(月)〜3月1日(金)
3月1日(金)
■
ロジックセミナー
16:00-- 【会場:合同棟1201】
講演者:Florian Pelupessy 氏(Ghent University)
題目: Connecting the provable with the unprovable
東北大学
/
理学部・理学研究科
/
情報科学研究科
/
数学専攻研究資料室
/
お問合せ