検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA10709116
名称(HDNG)田中, 一之||タナカ, カズユキ
生没年(DATE)1955
から見よ(SF)田中, 一之(1955-)||タナカ, カズユキ
注記(NOTE)東北大学大学院理学研究科助教授
SRC:数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著(日本評論社, 1997.3)
出生地・出生年の追加は、著書「逆数学と2階算術」(河合文化教育研究所,1997.8)奥付の記述:1955年東京都生まれ
選択行を：
14 件中の　1-1012
資料名所在
1集合論とプラトニズム / 田中一之編. -- 東京大学出版会, 2007.7. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4).図書館(閲覧室) 410.9:Ta:4
2数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著. -- 日本評論社, 1997.3.理数学 410.9:Ta
教養共４Ｆ哲学 410.9:Ta
3数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳. -- シュプリンガー・フェアラーク東京, 1999.2.図書館(閲覧室) 410.9:Ta
理数学 410.9:Ta
4数の体系と超準モデル / 田中一之著. -- 裳華房, 2002.4.図書館(閲覧室) 410.9:Ta
5不完全性定理と算術の体系 / 田中一之編. -- 東京大学出版会, 2007.3. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3).図書館(閲覧室) 410.9:Ta:3
6ゲーデルの20世紀 / 田中一之編. -- 東京大学出版会, 2006.7. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1).図書館(閲覧室) 410.9:Ta:1
7完全性定理とモデル理論 / 田中一之編. -- 東京大学出版会, 2006.10. -- (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2).図書館(閲覧室) 410.9:Ta:2
8ゲーデルと20世紀の論理学 (ロジック) / 田中一之編. -- 東京大学出版会, 2006.7-2007.7. 
9ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳. -- みすず書房, 2011.3.図書館(閲覧室) 410.9:F
10ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著. -- 東京大学出版会, 2012.4.図書館(閲覧室) 410.9:Ta
14 件中の　1-1012
選択行を
▲ページトップへ