Subscribed unsubscribe Subscribe Subscribe

Kentaro Kuribayashi's blog

Software Engineering, Management, Books, and Daily Journal.

買い物

Kansai.pm乙というわけで、買い物。以下購入。

形式論理学―その展望と限界

形式論理学―その展望と限界


圏論による論理学―高階論理とトポス

圏論による論理学―高階論理とトポス


CM NOW (シーエム・ナウ) 2008年 09月号 [雑誌]

CM NOW (シーエム・ナウ) 2008年 09月号 [雑誌]


sweet ten diary (TENMAコミックスLO)

sweet ten diary (TENMAコミックスLO)