1.

図書
図書
1. 山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
田中一之著 ; バラマツヒトミ絵
出版情報: 東京 : 日本評論社, 2019.12
所蔵情報: loading…
2.

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

図書
図書
3. 不完全性定理の先へ
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2018.9
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻
所蔵情報: loading…
4.

図書
図書
4. 不完全性定理の理解のために
レイモンド・M・スマリヤン著 ; 川辺治之訳
出版情報: 東京 : 日本評論社, 2017.9
シリーズ名: スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻
所蔵情報: loading…
5.

図書
図書
5. 集合・論理と位相
新井敏康著 ; 基幹講座数学編集委員会編
出版情報: 東京 : 東京図書, 2016.11
シリーズ名: 基幹講座数学
所蔵情報: loading…
6.

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

図書
図書
7. 論理・集合・数学語
石川剛郎著
出版情報: 東京 : 共立出版, 2015.12
シリーズ名: 共立講座 数学探検 ; 3
所蔵情報: loading…
8.

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

図書
図書
9. 論理学入門
丹治信春著
出版情報: 東京 : 筑摩書房, 2014.5
シリーズ名: ちくま学芸文庫 ; [タ41-1]
所蔵情報: loading…
10.

図書
図書
10. 論理・集合と位相空間入門
栗山憲著
出版情報: 東京 : 共立出版, 2012.4
所蔵情報: loading…
11.

図書
図書
11. 数理論理学の基礎・基本
坪井明人著
出版情報: 東京 : 牧野書店 , 東京 : 星雲社 (発売), 2012.3
シリーズ名: 理工系数学の基礎・基本 ; 13
所蔵情報: loading…
12.

図書
図書
12. 数理基礎論講義 : 論理・集合・位相
金子晃著
出版情報: 東京 : サイエンス社, 2010.6
シリーズ名: ライブラリ数理・情報系の数学講義 ; 1
所蔵情報: loading…
13.

図書
図書
13. 数理論理学 : 使い方と考え方 : 超準解析の入口まで
江田勝哉著
出版情報: 東京 : 内田老鶴圃, 2010.5
所蔵情報: loading…
14.

図書
図書
14. 数理論理学序説. 復刊
前原昭二著
出版情報: 東京 : 共立出版, 2010.9
所蔵情報: loading…
15.

図書
図書
15. 現代数理論理学序説
古森雄一, 小野寛晰著
出版情報: 東京 : 日本評論社, 2010.6
所蔵情報: loading…
16.

図書
図書
16. ろんりと集合
中内伸光著
出版情報: 東京 : 日本評論社, 2009.9
所蔵情報: loading…
17.

図書
図書
17. 数理論理学
鹿島亮著
出版情報: 東京 : 朝倉書店, 2009.10
シリーズ名: 現代基礎数学 / 新井仁之 [ほか] 編 ; 15
所蔵情報: loading…
18.

図書
図書
18. 数学の言葉と論理
渡辺治 [ほか] 著
出版情報: 東京 : 朝倉書店, 2008.9
シリーズ名: 現代基礎数学 / 新井仁之 [ほか] 編 ; 1
所蔵情報: loading…
19.

図書
図書
19. 論理と集合から始める数学の基礎
嘉田勝著
出版情報: 東京 : 日本評論社, 2008.12
所蔵情報: loading…
20.

図書
図書
20. 述語論理・入門 : 基礎からプログラムの理論へ
上江洲忠弘著
出版情報: 東京 : 遊星社 , 東京 : 星雲社 (発売), 2007.4
所蔵情報: loading…
21.

図書
図書
21. 確かさを求めて : 数学の基礎についての哲学論考
M. ジャキント著 ; 田中一之監訳
出版情報: 東京 : 培風館, 2007.1
所蔵情報: loading…
22.

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

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

図書
図書
24. 記号論理入門 (: 新装版)
前原昭二著
出版情報: 東京 : 日本評論社, 2005.12
シリーズ名: 日評数学選書
所蔵情報: loading…
25.

図書
図書
25. 論理と代数の基礎 : 初めて学ぶ人のために
硲文夫著
出版情報: 東京 : 培風館, 2003.6
所蔵情報: loading…
26.

図書
図書
26. 数学と新しい論理 : 数学的帰納法をめぐって
本橋信義著
出版情報: 東京 : 遊星社 , 東京 : 星雲社(発売), 2002.3
所蔵情報: loading…
27.

図書
図書
27. フレーゲの論理哲学
田畑博敏著
出版情報: 福岡 : 九州大学出版会, 2002.2
所蔵情報: loading…
28.

図書
図書
28. 数学の基礎体力をつけるためのろんりの練習帳
中内伸光著
出版情報: 東京 : 共立出版, 2002.2
所蔵情報: loading…
29.

図書
図書
29. 書簡集 : 付「日記」
G.フレーゲ著 ; 野本和幸編
出版情報: 東京 : 勁草書房, 2002.5
シリーズ名: フレーゲ著作集 / G.フレーゲ著 ; 6
所蔵情報: loading…
30.

図書
図書
30. フレーゲの哲学
アンソニー・ケニー [著] ; 野本和幸 [ほか]訳
出版情報: 東京 : 法政大学出版局, 2001.3
シリーズ名: 叢書・ウニベルシタス ; 721
所蔵情報: loading…
31.

図書
図書
31. 算術の基礎
G.フレーゲ著 ; 野本和幸, 土屋俊編
出版情報: 東京 : 勁草書房, 2001.11
シリーズ名: フレーゲ著作集 / G.フレーゲ著 ; 2
所蔵情報: loading…
32.

図書
図書
32. 数学論集
G.フレーゲ著 ; 野本和幸, 飯田隆編
出版情報: 東京 : 勁草書房, 2001.8
シリーズ名: フレーゲ著作集 / G.フレーゲ著 ; 5
所蔵情報: loading…
33.

図書
図書
33. 数理論理学. 復刊
松本和夫著
出版情報: 東京 : 共立出版, 2001.8
所蔵情報: loading…
34.

図書
図書
34. 算術の基本法則
G.フレーゲ著 ; 野本和幸編
出版情報: 東京 : 勁草書房, 2000.9
シリーズ名: フレーゲ著作集 / G.フレーゲ著 ; 3
所蔵情報: loading…
35.

図書
図書
35. 知的エージェントのための集合と論理
中島秀之著
出版情報: 東京 : 共立出版, 2000.6
シリーズ名: インターネット時代の数学シリーズ / 戸川隼人 [ほか] 編 ; 6
所蔵情報: loading…