著者典拠情報

著者標目形：
田中, 一之||タナカ, カズユキ
属性：
Personal
場所：
東京
日付：
1955
から見よ参照形：
田中, 一之(1955-)||タナカ, カズユキ
注記：
東北大学大学院理学研究科助教授
SRC:数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著(日本評論社, 1997.3)
出生地・出生年の追加は、著書「逆数学と2階算術」(河合文化教育研究所,1997.8)奥付の記述:1955年東京都生まれ
著者典拠ID：
DA10709116


1.

図書
図書
1. 逆数学 : 定理から公理を「証明」する
ジョン・スティルウェル著 ; 川辺治之訳
出版情報: 東京 : 森北出版, 2019.2
所蔵情報: 図書館
2.

図書
図書
2. チューリングと超 (メタ) パズル : 解ける問題と解けない問題
田中一之著
出版情報: 東京 : 東京大学出版会, 2013.11
所蔵情報: 研究室
3.

図書
図書
3. ゲーデルの定理 : 利用と誤用の不完全ガイド
トルケル・フランセーン [著] ; 田中一之訳
出版情報: 東京 : みすず書房, 2011.3
所蔵情報: 研究室
4.

図書
図書
4. 確かさを求めて : 数学の基礎についての哲学論考
M. ジャキント著 ; 田中一之監訳
出版情報: 東京 : 培風館, 2007.1
所蔵情報: 研究室
5.

図書
図書
5. 不完全性定理と算術の体系
田中一之編
出版情報: 東京 : 東京大学出版会, 2007.3
シリーズ名: ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3
所蔵情報: 図書館, 研究室
6.

図書
図書
6. 集合論とプラトニズム
田中一之編
出版情報: 東京 : 東京大学出版会, 2007.7
シリーズ名: ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4
所蔵情報: 研究室
7.

図書
図書
7. ゲーデルと20世紀の論理学 (ロジック)
田中一之編
出版情報: 東京 : 東京大学出版会, 2006.7-
8.

図書
図書
8. ゲーデルの20世紀
田中一之編
出版情報: 東京 : 東京大学出版会, 2006.7
シリーズ名: ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1
所蔵情報: 研究室
9.

図書
図書
9. 完全性定理とモデル理論
田中一之編
出版情報: 東京 : 東京大学出版会, 2006.10
シリーズ名: ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2
所蔵情報: 図書館, 研究室
10.

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