1.

図書
図書
1. 心の影 : 意識をめぐる未知の科学を探る (1 ; 2)
ロジャー・ペンローズ [著] ; 林一訳
出版情報: 東京 : みすず書房, 2001.12-2002.4
所蔵情報: loading…
2.

図書
図書
2. 不完全性定理
ゲーデル著 ; 林晋, 八杉満利子訳・解説
出版情報: 東京 : 岩波書店, 2006.9
シリーズ名: 岩波文庫 ; 青(33)-944-1
所蔵情報: loading…
3.

図書
図書
3. 計算論理入門 : 情報の数理
田中尚夫著
出版情報: 東京 : 裳華房, 1997.10
所蔵情報: loading…
4.

図書
図書
4. 新しい論理序説
本橋信義著
出版情報: 東京 : 朝倉書店, 1997.4
シリーズ名: すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16
所蔵情報: loading…
5.

図書
図書
5. よくわかる記号論理
藤村龍雄著
出版情報: 東京 : 勁草書房, 2005.11
所蔵情報: loading…
6.

図書
図書
6. 記号論理学
加藤浩, 土屋俊著
出版情報: 東京 : 放送大学教育振興会, 2014.3
シリーズ名: 放送大学教材 ; 1570064-1-1411
所蔵情報: loading…
7.

図書
図書
7. 発見タブローによる理系問題の解法
中西泰雄著
出版情報: [東大阪] : デザインエッグ, 2016.4
所蔵情報: loading…
8.

図書
図書
8. 証明と論理に強くなる : 論理式の読み方から、ゲーデルの門前まで
小島寛之著
出版情報: 東京 : 技術評論社, 2017.2
シリーズ名: 知の扉シリーズ
所蔵情報: loading…
9.

図書
図書
9. スマリヤン数理論理学 : 述語論理と完全性定理
Raymond Smullyan [著] ; 村上祐子訳
出版情報: 東京 : 丸善出版, 2014.11
所蔵情報: loading…
10.

図書
図書
10. 数理論理学 = Mathematical logic
戸次大介著
出版情報: 東京 : 東京大学出版会, 2012.3
所蔵情報: loading…