タナカ, カズユキ
田中, 一之
著者名典拠詳細を表示
著者の属性 | 個人 |
---|---|
場所 | 東京 |
一般注記 | 東北大学大学院理学研究科助教授 SRC:数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著(日本評論社, 1997.3) 出生地・出生年の追加は、著書「逆数学と2階算術」(河合文化教育研究所,1997.8)奥付の記述:1955年東京都生まれ |
生没年等 | 1955 |
から見よ参照 | 田中, 一之(1955-)<タナカ, カズユキ> |
コード類 | 典拠ID=AU00013677 NCID=DA10709116 |
1 | 不完全性定理と算術の体系 / 田中一之編 東京 : 東京大学出版会 , 2007.3 |
2 | 完全性定理とモデル理論 / 田中一之編 東京 : 東京大学出版会 , 2006.10 |
3 | ゲーデルの20世紀 / 田中一之編 東京 : 東京大学出版会 , 2006.7 |
4 | ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 東京 : 東京大学出版会 , 2006.7- |