close
1.

図書
図書
1. 数学と論理
難波完爾著
出版情報: 東京 : 朝倉書店, 2003.4
シリーズ名: 講座数学の考え方 / 飯高茂 [ほか] 編集 ; 23
所蔵情報: loading…
2.

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

図書
図書
3. 数理論理学 : 合理的エージェントへの応用に向けて
加藤暢, 高田司郎, 新出尚之共著
出版情報: 東京 : コロナ社, 2014.10
所蔵情報: loading…
4.

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

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

図書
図書
6. 今度こそわかる論理 : 数理論理学はなぜわかりにくいのか
本橋信義著
出版情報: 東京 : 講談社, 2014.9
シリーズ名: 今度こそわかるシリーズ
所蔵情報: loading…
7.

図書
図書
7. 情報科学のための論理分析テクニック
戸田誠之助著
出版情報: 東京 : 培風館, 2007.6
所蔵情報: loading…
8.

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

図書
図書
9. アルス・コンビナトリア : 象徴主義と記号論理学
ジョン・ノイバウアー著 ; 原研二訳
出版情報: 東京 : ありな書房, 1999.10
所蔵情報: loading…
10.

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

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

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

図書
図書
13. 不完全性定理とはなにか : ゲーデルとチューリングの考えたこと
竹内薫著
出版情報: 東京 : 講談社, 2013.4
シリーズ名: ブルーバックス ; B-1810
所蔵情報: loading…
14.

図書
図書
14. フレーゲ哲学の全貌 : 論理主義と意味論の原型
野本和幸著
出版情報: 東京 : 勁草書房, 2012.9
所蔵情報: loading…
15.

図書
図書
15. 1と0との物語
日野寛三著
出版情報: [東京] : 東京図書出版, 2012.5
所蔵情報: loading…
16.

図書
図書
16. 数理論理学
古川康一, 向井国昭著
出版情報: 東京 : コロナ社, 2008.6
シリーズ名: コンピュータサイエンス教科書シリーズ / 曽和将容, 岩田彰, 富田悦次編集委員 ; 18
所蔵情報: loading…
17.

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

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

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

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

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

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

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

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

図書
図書
25. Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
萩原学, アフェルト・レナルド共著
出版情報: 東京 : 森北出版, 2018.4
所蔵情報: loading…
26.

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

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

図書
図書
28. 記号論理学の原理
H.ライヘンバッハ著 ; 石本新訳
出版情報: 東京 : 大修館書店, 1982.7
所蔵情報: loading…
29.

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

図書
図書
30. 記号論の基礎原理
ユルゲン・トラバント著 ; 谷口勇訳
出版情報: 東京 : 南江堂, 1979.3
所蔵情報: loading…
31.

図書
図書
31. 初等記号論理学入門
倉田令二朗, 中村修著
出版情報: 東京 : 国土社, 1974.2
シリーズ名: 数学ぶっくす ; 7
所蔵情報: loading…
32.

図書
図書
32. 記号論理学 : その成立史の研究
末木剛博著
出版情報: 東京 : 東京大学出版会, 1962.4
シリーズ名: 東大学術叢書 ; 15
所蔵情報: loading…
33.

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

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

図書
図書
35. 現代論理学の基礎 : 推理と分析の論理
永井成男著
出版情報: 東京 : 有信堂, 1964.9
所蔵情報: loading…
36.

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

図書
図書
37. 記号論理学 (上 ; 下)
ゲオルク・クラウス著 ; 門上秀叡訳
出版情報: 東京 : 青木書店, 1960-1962
シリーズ名: 唯物論叢書
所蔵情報: loading…
38.

図書
図書
38. 証明のすすめ : 数学の証明
リュディガー・ティーレ原著 ; 金井省二訳
出版情報: 東京 : 森北出版, 1990.7
所蔵情報: loading…
39.

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

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

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

図書
図書
42. 様相の論理
内田種臣著
出版情報: 東京 : 早稲田大学出版部, 1978.7
シリーズ名: 双書現代の論理
所蔵情報: loading…
43.

図書
図書
43. 入門新しい数学
矢野健太郎著
出版情報: 東京 : 共立出版, 1963
シリーズ名: 市民の数学 / 黒田孝郎 [ほか] 編 ; 8
所蔵情報: loading…
44.

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

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

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

図書
図書
47. 記号論序説 : その歴史と体系. 3版
瀬在良男著
出版情報: 東京 : 駿河台出版社, 1970.1
所蔵情報: loading…
48.

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

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

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

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

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

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

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

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

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

図書
図書
57. ルイス・キャロルの知的ゲーム
ルイス・キャロル [著] ; 鈴木瑠璃子, 長島富太郎編訳
出版情報: 東京 : 大修館書店, 1987.2
所蔵情報: loading…
58.

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

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

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

図書
図書
61. 論理の数学的分析 : 演繹的推論の計算に関する試論
G.ブール [著] ; 西脇与作訳
出版情報: 東京 : 公論社, 1977.8
シリーズ名: 論理学古典選集 ; 1
所蔵情報: loading…
62.

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

図書
図書
63. 帰納と類比
G.ポリア著 ; 柴垣和三雄訳
出版情報: 東京 : 丸善, 1959.1
シリーズ名: 数学における発見はいかになされるか / ポリア [著] ; 1
所蔵情報: loading…
64.

図書
図書
64. 記号論理学の基礎
ヒルベルト, アッケルマン共著 ; 伊藤誠訳
出版情報: 東京 ; 大阪 : 大阪教育図書, 1954.5
所蔵情報: loading…
65.

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

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

図書
図書
67. 時間の論理
杉原丈夫著
出版情報: 東京 : 早稲田大学出版部, 1974
シリーズ名: 双書現代の論理
所蔵情報: loading…
68.

図書
図書
68. 記号論理学の綱要
J.M.ボヘンスキー著 ; 國嶋一則, 奥雅博訳
出版情報: 東京 : 勁草書房, 1970.4
所蔵情報: loading…
69.

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

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

図書
図書
71. 記号論理学の基礎. 改訂最新版
ヒルベルト, アッケルマン著 ; 石本新, 竹尾治一郎訳
出版情報: 東京 : 大阪教育図書, 1974.7
所蔵情報: loading…
72.

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

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

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

図書
図書
75. 数理論理学 : 語の問題
竹内外史著
出版情報: 東京 : 培風館, 1973.4
シリーズ名: 数理科学シリーズ / 山内恭彦, 弥永昌吉企画編集 ; 7
所蔵情報: loading…
76.

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

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

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

図書
図書
79. 記号論理学
斎藤晢郎著
出版情報: 東京 : 理想社, 1964.9
所蔵情報: loading…
80.

図書
図書
80. 記号論理学入門
石谷茂著
出版情報: 東京 : 明治図書, 1965.6
所蔵情報: loading…
81.

図書
図書
81. 記号論理学
ペー・エス・ノヴィコフ著 ; 石本新訳
出版情報: 東京 : 東京図書, 1965.8
シリーズ名: 数学選書
所蔵情報: loading…
82.

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

図書
図書
83. 非古典論理学
杉原丈夫著
出版情報: 東京 : 槙書店, 1975
シリーズ名: 数学選書
所蔵情報: loading…
84.

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

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

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

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

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

図書
図書
89. 数学のロジックと集合論
田中一之, 鈴木登志雄共著
出版情報: 東京 : 培風館, 2003.12
所蔵情報: loading…
90.

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

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

図書
図書
92. 記号論理学とその応用
石谷茂著
出版情報: 大阪 : 大阪教育図書, 1967.1
所蔵情報: loading…
93.

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

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

図書
図書
95. 情報科学における論理
小野寛晰著
出版情報: 東京 : 日本評論社, 1994.4
シリーズ名: 情報数学セミナー
所蔵情報: loading…
96.

図書
図書
96. 記号論理入門
金子洋之著
出版情報: 東京 : 産業図書, 1994.10
シリーズ名: 哲学教科書シリーズ
所蔵情報: loading…
97.

図書
図書
97. 知識と推論
森下真一著
出版情報: 東京 : 共立出版, 1994.1
シリーズ名: 情報数学講座 ; 10
所蔵情報: loading…
98.

図書
図書
98. 記号論理
横地清著
出版情報: 東京 : 岩崎書店, 1967.4
シリーズ名: 図解初等数学選書 ; 16
所蔵情報: loading…
99.

図書
図書
99. 記號論理學教本
大関将一, 中埜肇共著
出版情報: 東京 : 理想社, 1954.11
所蔵情報: loading…
100.

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