浜野正浩博士學術演講訊息公告如下--
講者：浜野正浩 博士（中央研究院資科所客座研究員）
講題：Introduction to Logic of Elementary Toposes
時間：2016/12/9 (Friday) 15:10
地點：文412研討室
大綱：
This is a brief introductory and pedagogical talk about how category theory
interprets a (high-order) logic as well as Kripke construction. The
reference is Lambek & Scott "Introduction to higher order categorical
logic".
敬祝 研安
哲學系辦公室 敬上
