thesis presentations

Seminar information archive ～04/30｜Next seminar｜Future seminars 05/01～


2010/02/04

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