thesis presentations

Seminar information archive ～04/18｜Next seminar｜Future seminars 04/19～


2010/02/04

11:00-12:15   Room #128 (Graduate School of Math. Sci. Bldg.)
高岡 洋介 (東京大学大学院数理科学研究科)
On existence of models for the logical system MPCL (単相格論理系におけるモデルの存在について)