[logic-ml] seminar

吉信 康夫 yosinobu at math.nagoya-u.ac.jp
Sun Mar 3 11:19:59 JST 2019


皆様

名古屋大学の吉信です。

以下の要領で名古屋ロジックセミナーを開催します。

日時:3月8日(金) 15:30〜
場所:名古屋大学大学院情報学研究科棟314室

講演者:渕野 昌(神戸大学)
タイトル:Reflection axioms which imply the continuum is very large

多数の方のご参加をお待ちしております。


More information about the Logic-ml mailing list