Sendai Logic - 仙台ロジック Mathematical Institute, Graduate School of Science, Tohoku University
Research Alliance Center for Mathematical Sciences, Tohoku University

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 / 田中 一之 編