1.

図書
図書
1. 文系のための記号論理入門 : 命題論理から不完全性定理まで
金子裕介著
出版情報: 東京 : 朝倉書店, 2021.5
所蔵情報: loading…
2.

図書
図書
2. 論理と分析 : 文系のための記号論理入門
金子裕介著
出版情報: 京都 : 晃洋書房, 2019.8
所蔵情報: loading…
3.

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

図書
図書
4. 論理学
平尾始著
出版情報: 東京 : ナツメ社, 2005.12
シリーズ名: 図解雑学 : 絵と文章でわかりやすい!
所蔵情報: loading…
5.

図書
図書
5. ソフトウェア科学のための論理学
萩谷昌己 [著]
出版情報: 東京 : 岩波書店, 1994.1
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11
所蔵情報: loading…
6.

図書
図書
6. うそつき : 真理と循環をめぐる論考 = / 金子洋之訳
ｼﾞｮﾝ･ﾊﾞｰﾜｲｽﾞ, ｼﾞｮﾝ･ｴﾁｪﾒﾝﾃﾞｨ著
出版情報: 東京 : 産業図書, 1992.5
所蔵情報: loading…
7.

図書
図書
7. 記号論理学 : その展望と限界をさぐる
R. ジェフリー著 ; 戸田山和久訳
出版情報: 東京 : マグロウヒル出版, 1992.12
所蔵情報: loading…
8.

図書
図書
8. 真理・証明・計算 : 論理と機械
内井惣七著
出版情報: 京都 : ミネルヴァ書房, 1989.4
所蔵情報: loading…
9.

図書
図書
9. 記号論理学
清水義夫著
出版情報: 東京 : 東京大学出版会, 1984.11
所蔵情報: loading…
10.

図書
図書
10. 集合・論理
細井勉著
出版情報: 東京 : 共立出版, 1982.2
シリーズ名: 教職数学シリーズ / 田島一郎, 島田茂編集 ; 基礎編 6
所蔵情報: loading…