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

[takafumi ozeki]

尾関です。

次回告知です。

第17回 「Topoi」勉強会

開催日：2月16日(土)

時間：13:00-17:00

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

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

Robert Goldblatt  (著)

を読む会です。

次回はp249 Chapter 11 elementary truth　の

11.5 substitution and soundness

からです。

よろしくお願いします。

[Takafumi Ozeki]

リスケしました。
よろしくお願いします。

第17回 「Topoi」勉強会
開催日：3月16日(土)

時間：13:00-17:00
場所：川崎市平和館　第３会議室

2019年2月3日(日) 21:59 takafumi ozeki <ozt...@gmail.com>:

> --
> ====================
>
> http://groups.google.co.jp/group/sheaf-category-and-topos
> ---
> このメールは Google グループのグループ「けんろん！(旧GFG勉強会、コンセプタン&『層・圏・トポス』読者の会)」に登録しているユーザーに送られています。
> このグループから退会し、グループからのメールの配信を停止するには sheaf-category-and...@googlegroups.com にメールを送信してください。
> その他のオプションについては https://groups.google.com/d/optout にアクセスしてください。



--
----
尾関 孝文
ozt...@gmail.com