タナカ, カズユキ
田中, 一之
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 場所 | 東京 |
| 一般注記 | 東北大学大学院理学研究科助教授 SRC:数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著(日本評論社, 1997.3) 出生地・出生年の追加は、著書「逆数学と2階算術」(河合文化教育研究所,1997.8)奥付の記述:1955年東京都生まれ |
| 生没年等 | 1955 |
| から見よ参照 | 田中, 一之(1955-)<タナカ, カズユキ> |
| コード類 | 典拠ID=AU00082022 NCID=DA10709116 |
| 1 | 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著 東京 : 裳華房 , 2019.6 |
| 2 | 不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2018.9 |
| 3 | スマリヤン数理論理学講義 : 不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳 上巻. - 東京 : 日本評論社 , 2017.9- |
| 4 | スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 東京 : 日本評論社 , 2017.9-2018.9 |
| 5 | ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著 東京 : 東京大学出版会 , 2012.4 |