1.

図書
図書
1. 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…
2.

図書
図書
2. 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…
3.

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

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

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

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

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

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

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

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