けんろん！ 第11回 「Topoi」勉強会

[takafumi ozeki]

尾関です。

開催告知です。

また連絡が直前となってしまいすみません。

第11回 「Topoi」勉強会

開催日：11月18日(土)

時間：13:00-17:00

場所：川崎市平和館　第三会議室

「Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)」

Robert Goldblatt  (著)

を読む会です。

次回はp187 Chapter 8 Intuitionism and its logic　の

8.4 Kripke semantics

からです。

新規参加者募集中です。紹介も歓迎です。

予習はしなくても良いです。

本を持っていなくても良いです。

参加キャンセルについては11/15までに

お願いします。新規参加は直前登録or連絡なしでOK。

都合の悪い方がいたら連絡ください。

よろしくお願いします。