■
論理学の参考書の紹介
形式的な論理体系を数学的に研究する方法はいろいろありますが、今日紹介するのはこちら、位相をつかって論理学を研究する方法です。
- 作者: 田中俊一
- 出版社/メーカー: 日本評論社
- 発売日: 2000/07/01
- メディア: 単行本
- 購入: 1人 クリック: 4回
- この商品を含むブログ (10件) を見る
Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
- 作者: Steven Vickers
- 出版社/メーカー: Cambridge University Press
- 発売日: 2008/08/21
- メディア: ペーパーバック
- 購入: 1人
- この商品を含むブログ (1件) を見る