New Books

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

Other Books

• 『数学辞典』項目「ゲーデルの不完全性定理」朝倉書店2015

• ロジックの世界（D.クライアン他著, 翻訳）講談社ブルーバックス 2015

• 『プリンストン数学集成』項目「集合論」「ロジックとモデル理論」など(翻訳) 朝倉書店2015

• チューリングと超パズル（単著） 東京大学出版会 2013

• ゲーデルに挑む　証明不能なことの証明 （単著）東京大学出版会 2012

• スマリヤン数理論理学講義　上巻 / レイモンド・Ｍ・スマリヤン 著 田中一之 監訳 川辺治之 訳

• ゲーデルに挑む証明不能なことの証明 / 田中 一之 (著)

• ゲーデルの定理　利用と誤用不完全ガイド / トルケル・フランセーン (著), 田中 一之 (翻訳)

• 確かさを求めて―数学の基礎についての哲学論考 / M. ジャキント著, 田中 一之 (翻訳)

• 数の体系と超準モデル / 田中　一之 編

• 数学のロジックと集合論 / 田中　一之, 鈴木 登志雄 著

• メルロ=ポンティ哲学者事典　別巻 / 執筆項目「ゲーデル」(pp.147-149)

• ゲーデルと２０世紀の論理学 1 / 田中　一之 編

• ゲーデルと２０世紀の論理学 2 / 田中　一之 編

• ゲーデルと２０世紀の論理学 3 / 田中　一之 編

• ゲーデルと２０世紀の論理学 4 / 田中　一之 編