Topology via Logic
が届く。よさげ。
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
- 作者: Steven Vickers
- 出版社/メーカー: Cambridge University Press
- 発売日: 2008/08/21
- メディア: ペーパーバック
- 購入: 1人
- この商品を含むブログ (1件) を見る
が届く。よさげ。
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)