『圏論による論理学?高階論理とトポス』 清水 義夫が来たので、いま読んでいる
http://msakai.jp/d/200804.html
λ. 『圏論による論理学?高階論理とトポス』 清水 義夫 日々の流転 2008-04-01

http://k.hatena.ne.jp/asinblog/4130120573
「圏論による論理学―高階論理とトポス」を含むブログ
http://d.hatena.ne.jp/yoshitake-h/20100520?_ga=2.17478077.565998646.1554013750-488207910.1486738355#p3
20100520
清水義夫「圏論による論理学　高階論理とトポス」東京大学出版会 (2007)yoshitake-hyoshitake-h 本文を読む