1.

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

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

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

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

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

図書
図書
6. 存在の論理
遠藤弘著
出版情報: 東京 : 早稲田大学出版部, 1974
シリーズ名: 双書現代の論理
所蔵情報: loading…
7.

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

図書
図書
8. 論理と情報の世界
中井浩, 高野守正著
出版情報: 東京 : ダイヤモンド社, 1970.8
所蔵情報: loading…
9.

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

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

図書
図書
11. 記号論 : その論理と哲学
永井成男, 和田和行著
出版情報: 東京 : 北樹出版, 1989.9
所蔵情報: loading…
12.

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

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

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

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

図書
図書
16. 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…
17.

図書
図書
17. 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…
18.

図書
図書
18. Algebraic logic
S.G. Gindikin ; translated by Robert H. Silverman
出版情報: New York ; Tokyo : Springer-Verlag, c1985
シリーズ名: Problem books in mathematics / edited by K. Bencsáth and P.R. Halmos
所蔵情報: loading…
19.

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

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

図書
図書
21. Foundations of constructive mathematics : metamathematical studies (U.S. ; Germany ; : pbk)
Michael J. Beeson
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3 . Folge ; Bd. 6
所蔵情報: loading…
22.

図書
図書
22. 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…
23.

図書
図書
23. From logic design to logic programming : theorem proving techniques and P-functions (: gw ; : us)
Dominique Snyers, André Thayse
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 271
所蔵情報: loading…
24.

図書
図書
24. 8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings (: gw ; : us)
edited by Jörg H. Siekmann
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 230
所蔵情報: loading…
25.

図書
図書
25. Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia (: Germany ; : U.S.)
edited by J.N. Crossley
出版情報: Berlin ; New York : Springer-Verlag, 1975
シリーズ名: Lecture notes in mathematics ; 450
所蔵情報: loading…
26.

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

図書
図書
27. An outline of set theory (: U.S. ; : Germany)
James M. Henle
出版情報: New York ; Tokyo : Springer-Verlag, c1986
シリーズ名: Problem books in mathematics / edited by K. Bencsáth and P.R. Halmos
所蔵情報: loading…
28.

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

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

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

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

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

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

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

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

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

図書
図書
37. 形式の法則
G.スペンサー=ブラウン著 ; 大澤真幸, 宮台真司訳
出版情報: 東京 : 朝日出版社, 1987.4
所蔵情報: loading…
38.

図書
図書
38. 数理論理学原論 : 近代ポーランド論理学の原典
ヤン・ウカシェーヴィチ著 ; 高松鶴吉訳
出版情報: 東京 : 文化書房博文社, 1992.4
所蔵情報: loading…
39.

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

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

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

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

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

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

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

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

図書
図書
47. 記号論理学
ジャン・ショーヴィノー著 ; 芹沢正三訳
出版情報: 東京 : 白水社, 1959
シリーズ名: 文庫クセジュ ; 257
所蔵情報: loading…
48.

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

図書
図書
49. 現代数理論理学入門
J.N.クロスリー [ほか] 著 ; 田中尚夫訳
出版情報: 東京 : 共立出版, 1977.11
シリーズ名: 共立全書 ; 553
所蔵情報: loading…
50.

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