田中一之の本

18冊

著者名の一致で集めています。同じ名前の別の方が混じることがあります。

• 計算理論と数理論理学 = MATHEMATICS OF LOGIC AND COMPUTATION
  計算理論と数理論理学 = MATHEMATICS OF LOGIC AND COMPUTATION2022-06-01
• 山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
  山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌2019-12-01
• 数学基礎論序説 = LOGICAL FOUNDATIONS OF MATHEMATICS : 数の体系への論理的アプローチ
  数学基礎論序説 = LOGICAL FOUNDATIONS OF MATHEMATICS : 数の体系への論理的アプローチ2019-06-01
• 逆数学 : 定理から公理を「証明」する
  逆数学 : 定理から公理を「証明」する2019-02-01
• スマリヤン数理論理学講義 = Raymond M.Smullyan Lectures on Mathematical Logic 下巻
  スマリヤン数理論理学講義 = Raymond M.Smullyan Lectures on Mathematical Logic 下巻2018-09-01
• スマリヤン数理論理学講義 = Raymond M.Smullyan Lectures on Mathematical Logic 上巻
  スマリヤン数理論理学講義 = Raymond M.Smullyan Lectures on Mathematical Logic 上巻2017-09-01
• ロジックの世界 : 論理学の哲人たちがあなたの思考を変える
  ロジックの世界 : 論理学の哲人たちがあなたの思考を変える2015-03-01
• チューリングと超パズル2013-11-01
• ゲーデルに挑む 証明不可能なことの証明2012-04-01
• ゲーデルの定理 : 利用と誤用の不完全ガイド
  ゲーデルの定理 : 利用と誤用の不完全ガイド2011-03-01
• ゲーデルと20世紀の論理学42007-07-01
• ゲーデルと20世紀の論理学32007-03-01
• ゲーデルと20世紀の論理学22006-10-01
• ゲーデルと20世紀の論理学12006-07-01
• 数学のロジックと集合論
  数学のロジックと集合論2003-12-01
• 数の体系と超準モデル
  数の体系と超準モデル2002-04-01
• 数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える
  数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える1999-02-01
• 数学基礎論講義 : 不完全性定理とその発展
  数学基礎論講義 : 不完全性定理とその発展1997-03-01