2013年9月14日 数理論理学の初歩から不完全性定理まで 数理論理学ゼミ合宿 藤田博司 記述言語 日本語 会議種別 公開講演,セミナー,チュートリアル,講習,講義等 開催地 京都府立ゼミナールハウス 2013年9月14日から16日までの日程で一般参加者向けの合宿型講習を主催しました。