1.

図書
図書
1. 数理パズルで楽しく学べる論理学
藤田憲悦著
出版情報: 東京 : コロナ社, 2022.3
所蔵情報: loading…
2.

図書
図書
2. 計算理論と数理論理学 = Mathematics of logic and computation
田中一之著
出版情報: 東京 : 共立出版, 2022.6
所蔵情報: loading…
3.

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

図書
図書
4. 論理学への数学的手引き
Herbert B. Enderton [著] ; 嘉田勝訳
出版情報: [出版地不明] : 1月と7月, 2020.9
所蔵情報: loading…
5.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

図書
図書
40. 記号論理・入門
上江洲忠弘著
出版情報: 東京 : 遊星社 , 東京 : 星雲社 (発売), 1999.2
所蔵情報: loading…
41.

図書
図書
41. ゲーデルは何を証明したか : 数学から超数学へ
E.ナーゲル, J.R.ニューマン著 ; 林一訳
出版情報: 東京 : 白揚社, 1999.3
所蔵情報: loading…
42.

図書
図書
42. 概念記法
G.フレーゲ著 ; 藤村龍雄編
出版情報: 東京 : 勁草書房, 1999.12
シリーズ名: フレーゲ著作集 / G.フレーゲ著 ; 1
所蔵情報: loading…
43.

図書
図書
43. 哲学論集
G.フレーゲ著 ; 黒田亘, 野本和幸編
出版情報: 東京 : 勁草書房, 1999.9
シリーズ名: フレーゲ著作集 / G.フレーゲ著 ; 4
所蔵情報: loading…
44.

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

図書
図書
45. 記号論理学入門
小松寿著
出版情報: 東京 : 森北出版, 1997.2
所蔵情報: loading…
46.

図書
図書
46. 応用論理
桔梗宏孝著
出版情報: 東京 : 共立出版, 1996.3
シリーズ名: 情報数学講座 ; 1
所蔵情報: loading…
47.

図書
図書
47. 数理論理学入門
角田譲著
出版情報: 東京 : 朝倉書店, 1996.6
所蔵情報: loading…
48.

図書
図書
48. 情報科学における論理
小野寛晰著
出版情報: 東京 : 日本評論社, 1994.4
シリーズ名: 情報数学ｾﾐﾅｰ
所蔵情報: loading…
49.

図書
図書
49. 論理
廣瀬健著
出版情報: 東京 : 日本評論社, 1994.5
シリーズ名: 現代応用数学の基礎
所蔵情報: loading…
50.

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

図書
図書
51. 情報科学のための論理数学
細井勉著
出版情報: 東京 : 日本評論社, 1992.4
シリーズ名: 日評数学選書
所蔵情報: loading…
52.

図書
図書
52. ゲーデル・不完全性定理 : “理性の限界"の発見
吉永良正著
出版情報: 東京 : 講談社, 1992.12
シリーズ名: ブルーバックス ; B-947
所蔵情報: loading…
53.

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

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

図書
図書
55. パラドックスへの挑戦 : ゲーデルとボーア
大出晁著
出版情報: 東京 : 岩波書店, 1991.8
所蔵情報: loading…
56.

図書
図書
56. ε‐δ・∀と∃に泣く
石谷茂著
出版情報: 京都 : 現代数学社, 1990.6
シリーズ名: 数学の盲点とその解明
所蔵情報: loading…
57.

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

図書
図書
58. 数理論理学
林晋著
出版情報: 東京 : コロナ社, 1989.12
シリーズ名: コンピュータ数学シリーズ / 斎藤信男, 有澤誠, 筧捷彦編 ; 3
所蔵情報: loading…
59.

図書
図書
59. 無限の彼方へ : 無限の文化史
エリ・マオール著 ; 三村護, 入江晴栄訳
出版情報: 京都 : 現代数学社, 1989.11
所蔵情報: loading…
60.

図書
図書
60. 記号理論の基礎
Ch. W. モリス著 ; 内田種臣, 小林昭世訳
出版情報: 東京 : 勁草書房, 1988.1
シリーズ名: 双書プロブレーマタ ; 9
所蔵情報: loading…
61.

図書
図書
61. プリンキピア・マテマティカ序論
A・N・ホワイトヘッド, B・ラッセル[著] ; 岡本賢吾 [ほか] 訳
出版情報: 東京 : 哲学書房, 1988.7
シリーズ名: 叢書思考の生成 ; 1
所蔵情報: loading…
62.

図書
図書
62. 数理論理学とタイプ理論 : 証明による真理へ
Peter B. Andrews [著] ; 小川原倫子訳
出版情報: 東京 : 丸善, 1987.12
所蔵情報: loading…
63.

図書
図書
63. 絵のパラドクスと言葉のパラドクス
吉田夏彦著
出版情報: 東京 : 岩波書店, 1986.10
シリーズ名: New science age ; 21
所蔵情報: loading…
64.

図書
図書
64. 思考と論理
大森荘蔵著
出版情報: 東京 : 放送大学教育振興会 , 東京 : 日本放送出版協会(発売), 1986.3
シリーズ名: 放送大学教材 ; 21083-1-8611
所蔵情報: loading…
65.

図書
図書
65. 記号と人間
吉田夏彦著
出版情報: 東京 : 放送大学教育振興会 , 東京 : 日本放送出版協会(発売), 1985.3
シリーズ名: 放送大学教材 ; 55194-1-8511
所蔵情報: loading…
66.

図書
図書
66. Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 (: gw ; : us)
edited by C.A. Di Prisco
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Lecture notes in mathematics ; 1130
所蔵情報: loading…
67.

図書
図書
67. Recursion theory
[edited by Anil Nerode, Richard A. Shore]
出版情報: Providence, R.I. : American Mathematical Society, c1985
シリーズ名: Proceedings of symposia in Pure mathematics ; v. 42
所蔵情報: loading…
68.

図書
図書
68. Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa
edited by Luiz Paulo de Alcantara
出版情報: New York : M. Dekker, c1985
シリーズ名: Lecture notes in pure and applied mathematics ; v. 94
所蔵情報: loading…
69.

図書
図書
69. 証明の読み方・考え方 : 数学的思考過程への手引
ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
出版情報: 東京 : 共立出版, 1985.6
所蔵情報: loading…
70.

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

図書
図書
71. The computer modelling of mathematical reasoning (: pbk. ; : cased)
Alan Bundy
出版情報: London ; Tokyo : Academic Press, 1983
所蔵情報: loading…
72.

図書
図書
72. コンピュータによる定理の証明
Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
出版情報: 東京 : 日本コンピュータ協会, 1983.9
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27
所蔵情報: loading…
73.

図書
図書
73. 論理と意味
長尾真, 淵一博 [著]
出版情報: 東京 : 岩波書店, 1983.1
シリーズ名: 岩波講座情報科学 ; 7
所蔵情報: loading…
74.

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

図書
図書
75. いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門
内井惣七著
出版情報: 京都 : ミネルヴァ書房, 1981.2
所蔵情報: loading…
76.

図書
図書
76. 数理論理学
福山克著
出版情報: 東京 : 培風館, 1980.1
シリーズ名: 現代数学レクチャーズ / 赤攝也監修 ; B-6
所蔵情報: loading…
77.

図書
図書
77. Logic : form and function : the mechanization of deductive reasoning
J.A. Robinson
出版情報: Edinburgh : University Press, c1979
所蔵情報: loading…
78.

図書
図書
78. 記号論理読本
前原昭二著
出版情報: 東京 : 日本評論社, 1976.8
所蔵情報: loading…
79.

図書
図書
79. 論理学 : モデル理論と歴史的背景
神野慧一郎, 内井惣七著
出版情報: 京都 : ミネルヴァ書房, 1976.5
所蔵情報: loading…
80.

図書
図書
80. ε-δに泣く
石谷茂著
出版情報: 京都 : 現代数学社, 1976.10
シリーズ名: 数学の盲点とその解明
所蔵情報: loading…
81.

図書
図書
81. 意味論序説
ルドルフ・カルナップ著 ; 遠藤弘訳
出版情報: 東京 : 紀伊国屋書店, 1975.8
所蔵情報: loading…
82.

図書
図書
82. 数学における文法
リンコルン・K.ダースト[著] ; 玉木和之訳
出版情報: 東京 : 明治図書出版, 1975.3
シリーズ名: 海外名著選 ; 59
所蔵情報: loading…
83.

図書
図書
83. 数理論理学 : 数学的理論の論理的構造
前原昭二著
出版情報: 東京 : 培風館, 1973.5
シリーズ名: 数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 6
所蔵情報: loading…
84.

図書
図書
84. 数理論理学入門
入江盛一著
出版情報: 東京 : 培風館, 1973.1
所蔵情報: loading…
85.

図書
図書
85. 記号論理学 : 述語論理
井関清志著
出版情報: 東京 : 槙書店, 1973
シリーズ名: 数学選書
所蔵情報: loading…
86.

図書
図書
86. 数理論理学 : 語の問題
竹内外史著
出版情報: 東京 : 培風館, 1973.4
シリーズ名: 数理科学シリーズ ; 7
所蔵情報: loading…
87.

図書
図書
87. 数学的論理学 (上 ; 下)
クリーネ著 ; 小沢健一訳
出版情報: 東京 : 明治図書出版, 1971-1973
所蔵情報: loading…
88.

図書
図書
88. Introduction to mathematical logic (: us ; : gw)
Hans Hermes ; translated from German by Diana Schmidt
出版情報: Berlin ; New York : Springer-Verlag, 1973
シリーズ名: Universitext
所蔵情報: loading…
89.

図書
図書
89. ∀と∃に泣く
石谷茂著
出版情報: 京都 : 現代数学社, 1973.10
シリーズ名: 数学の盲点とその解明
所蔵情報: loading…
90.

図書
図書
90. 数学基礎論
ニーボン著 ; 安藤洋美訳
出版情報: 東京 : 明治図書出版, 1970
シリーズ名: 数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第2
所蔵情報: loading…
91.

図書
図書
91. 数学と論理と
J.R.ニューマン他編 ; 林雄一郎訳編
出版情報: 東京 : 東京図書, 1970
シリーズ名: 科学技術選書
所蔵情報: loading…
92.

図書
図書
92. 数理哲学
ニーボン著 ; 安藤洋美訳
出版情報: 東京 : 明治図書出版, 1970.7
シリーズ名: 数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第3
所蔵情報: loading…
93.

図書
図書
93. 記号論理
梅沢敏郎著
出版情報: 東京 : 筑摩書房, 1970.12
シリーズ名: 数学講座 ; 16
所蔵情報: loading…
94.

図書
図書
94. 記号論理学 : 命題論理
井関清志著
出版情報: 東京 : 槙書店, 1968
シリーズ名: 数学選書
所蔵情報: loading…
95.

図書
図書
95. 論理哲学論考
L.ヴィトゲンシュタイン [著] ; 藤本隆志, 坂井秀寿訳
出版情報: 東京 : 法政大学出版局, 1968.7
シリーズ名: 叢書・ウニベルシタス ; 6
所蔵情報: loading…
目次情報:
ヴィトゲンシュタイン小伝 坂井秀寿著
論理哲学論考(一九二一年) [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 坂井秀寿訳
哲学探究(一九五三年)抄 [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 藤本隆志訳
ヴィトゲンシュタイン小伝 坂井秀寿著
論理哲学論考(一九二一年) [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 坂井秀寿訳
哲学探究(一九五三年)抄 [ルードヴィッヒ・ヴィトゲンシュタイン著] ; 藤本隆志訳
96.

図書
図書
96. 論理
中谷太郎著
出版情報: 東京 : 共立出版, 1967.11
シリーズ名: 新しい数学へのアプローチ ; 2
所蔵情報: loading…
97.

図書
図書
97. 数学的論理学
杉原丈夫著
出版情報: 東京 : 槙書店, 1967.4
シリーズ名: 数学選書
所蔵情報: loading…
98.

図書
図書
98. 記号論理入門
前原昭二著
出版情報: 東京 : 日本評論社, 1967.10
シリーズ名: 日評数学選書
所蔵情報: loading…
99.

図書
図書
99. 記号論理学入門
L.A.カルジェニン著 ; 日野寛三訳
出版情報: 東京 : 東京図書, 1966
シリーズ名: 数学新書 ; 51
所蔵情報: loading…
100.

図書
図書
100. 数理論理学序説
前原昭二著
出版情報: 東京 : 共立出版, 1966.6
シリーズ名: 共立全書 ; 160
所蔵情報: loading…