1.

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

図書
図書
2. 数学論 : 数学的認識の本性
G.I.ルザービン著 ; 山崎三郎, 柴岡泰光訳
出版情報: 東京 : 岩波書店, 1977.12
所蔵情報: loading…
3.

図書
図書
3. 数の概念について
G. Peano著 ; 小野勝次, 梅沢敏郎訳・解説
出版情報: 東京 : 共立出版, 1969.8
シリーズ名: 現代数学の系譜 / 正田建次郎, 吉田洋一監修 ; 2
所蔵情報: loading…
4.

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

図書
図書
5. 計算の基礎理論
細井勉著
出版情報: 東京 : 教育出版, 1975.1
シリーズ名: シリーズ新しい応用の数学 / 一松信, 伊理正夫, 竹内啓編 ; 9
所蔵情報: loading…
6.

図書
図書
6. 数学基礎論序説
R.L.ワイルダー著 ; 吉田洋一訳
出版情報: 東京 : 培風館, 1969.4
所蔵情報: loading…
7.

図書
図書
7. 数学基礎論入門
前原昭二著
出版情報: 東京 : 朝倉書店, 1977.6
シリーズ名: 基礎数学シリーズ ; 26
所蔵情報: loading…
8.

図書
図書
8. 計算基礎論
足立暁生著
出版情報: 東京 : オーム社, 1986.6
所蔵情報: loading…
9.

図書
図書
9. 証明論入門
竹内外史, 八杉満利子共著
出版情報: 東京 : 共立出版, 1988.2
所蔵情報: loading…
10.

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