けんろん！ 第18回 「Topoi」勉強会
3 views
Skip to first unread message
takafumi ozeki
Apr 9, 2019, 10:56:37 AM4/9/19
to けんろん！(旧GFG勉強会、コンセプタン&『層・圏・トポス』読者の会)
尾関です。
次回告知です。
第18回 「Topoi」勉強会
開催日：4月13日(土)
時間：13:00-17:00
場所：川崎市平和館 第３会議室
「Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)」
Robert Goldblatt (著)
を読む会です。
次回はp256 Chapter 11 elementary truth の
11.6 Kripke models の途中
からです。
よろしくお願いします。
Reply all
Reply to author
Forward
0 new messages