HERMES-Catalog

1.

数論・論理・意味論その原型と展開 : 知の巨人たちの軌跡をたどる / 野本和幸著

東京 : 東京大学出版会 , 2019.8

Books

2.

数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著

東京 : 裳華房 , 2019.6

Books

3.

逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳

東京 : 森北出版 , 2019.2

Books

4.

キューネン数学基礎論講義 / ケネス・キューネン著 ; 藤田博司訳

東京 : 日本評論社 , 2016.7

Books

5.

論理・集合・数学語 / 石川剛郎著

東京 : 共立出版 , 2015.12. - (共立講座数学探検 ; 3)

Books

6.

集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著

東京 : 共立出版 , 2012.2

Books

7.

証明論入門 / 竹内外史, 八杉満利子共著

復刊. - 東京 : 共立出版 , 2010.6

Books

8.

数理基礎論講義 : 論理・集合・位相 / 金子晃著

東京 : サイエンス社 , 2010.6. - (ライブラリ数理・情報系の数学講義 ; 1)

Books

9.

数学の言葉と論理 / 渡辺治 [ほか] 著

東京 : 朝倉書店 , 2008.9. - (現代基礎数学 / 新井仁之 [ほか] 編 ; 1)

Books

10.

数学基礎論 / 隈部正博著

4訂版. - 東京 : 放送大学教育振興会 , 2008.3. - (放送大学教材 ; 1560409-1-0811)

Books

11.

集合論とプラトニズム / 田中一之編

東京 : 東京大学出版会 , 2007.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4)

Books

12.

不完全性定理と算術の体系 / 田中一之編

東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)

Books

13.

完全性定理とモデル理論 / 田中一之編

東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)

Books

14.

ゲーデルの20世紀 / 田中一之編

東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)

Books

15.

数学と論理 / 難波完爾著

東京 : 朝倉書店 , 2003.4. - (講座数学の考え方 / 飯高茂 [ほか] 編集 ; 23)

Books

16.

数学基礎論 / 隈部正博著

3訂版. - 東京 : 放送大学教育振興会 , 2003.3. - (放送大学教材 ; 1666118-1-0311)

Books

17.

数の体系と超準モデル / 田中一之著

東京 : 裳華房 , 2002.4

Books

18.

二十世紀数学思想 / 佐々木力 [著]

東京 : みすず書房 , 2001.4

Books

19.

数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳

東京 : シュプリンガー・フェアラーク東京 , 1999.2

Books

20.

数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著

東京 : 日本評論社 , 1997.3

Books

Search holdings

CiNii Research (Articles)

CiNii Books

IRDB

NDL Holdings

Search Conditions

Document Type

Campus

Search Option

Results

Filtering Item