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