科学基礎論学会 2019年度秋の研究例会について

来月（11月）の30日に、科学基礎論学会の秋の研究例会が開催されます。

哲学教室からは岡本先生がワークショップ「ゲーデルと21世紀の論理学」のオーガナイザとして、学振の五十嵐さんがワークショップ「証明論的意味論と論理体系」のオーガナイザ・提題者として参加されます。

詳細はこちらをご覧ください。