Books
New Books
- 計算理論と数理論理学 / 田中一之 著
- 数学基礎論序説 / 田中一之 著
- 逆数学 / ジョン・スティルウェル著 田中一之 監訳 川辺治之 訳
- スマリヤン数理論理学講義 下巻 / レイモンド・M・スマリヤン 著 田中一之 監訳 川辺治之 訳
Other Books
-
『数学辞典』項目「ゲーデルの不完全性定理」朝倉書店2015
-
ロジックの世界(D.クライアン他著, 翻訳)講談社ブルーバックス 2015
-
『プリンストン数学集成』項目「集合論」「ロジックとモデル理論」など(翻訳) 朝倉書店2015
-
チューリングと超パズル(単著) 東京大学出版会 2013
-
ゲーデルに挑む 証明不能なことの証明 (単著)東京大学出版会 2012
-
スマリヤン数理論理学講義 上巻 / レイモンド・M・スマリヤン 著 田中一之 監訳 川辺治之 訳
-
ゲーデルに挑む証明不能なことの証明 / 田中 一之 (著)
-
ゲーデルの定理 利用と誤用不完全ガイド / トルケル・フランセーン (著), 田中 一之 (翻訳)
-
確かさを求めて―数学の基礎についての哲学論考 / M. ジャキント著, 田中 一之 (翻訳)
-
数の体系と超準モデル / 田中 一之 編
-
数学のロジックと集合論 / 田中 一之, 鈴木 登志雄 著
-
メルロ=ポンティ哲学者事典 別巻 / 執筆項目「ゲーデル」(pp.147-149)
-
ゲーデルと20世紀の論理学 1 / 田中 一之 編
-
ゲーデルと20世紀の論理学 2 / 田中 一之 編
-
ゲーデルと20世紀の論理学 3 / 田中 一之 編
-
ゲーデルと20世紀の論理学 4 / 田中 一之 編