Books

New Books

• 計算理論と数理論理学 / 田中一之 著
• 数学基礎論序説 / 田中一之 著
• 逆数学 / ジョン・スティルウェル著 田中一之 監訳 川辺治之 訳
• スマリヤン数理論理学講義　下巻 / レイモンド・Ｍ・スマリヤン 著 田中一之 監訳 川辺治之 訳

Other Books

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