Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Author: #田中 一之)
Results:16items
数の体系と超準モデル / 田中一之著
東京 : 裳華房 , 2002.4
Books
チューリングと超 (メタ) パズル : 解ける問題と解けない問題 / 田中一之著
東京 : 東京大学出版会 , 2013.11
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
計算理論と数理論理学 = Mathematics of logic and computation / 田中一之著
東京 : 共立出版 , 2022.6
ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著
東京 : 東京大学出版会 , 2012.4
ゲーデルと20世紀の論理学 (ロジック) / 田中一之編
東京 : 東京大学出版会 , 2006.7-2007.7
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
不完全性定理と算術の体系 / 田中一之編
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 3)
完全性定理とモデル理論 / 田中一之編
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 2)
集合論とプラトニズム / 田中一之編
東京 : 東京大学出版会 , 2007.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 4)
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳
東京 : シュプリンガー・フェアラーク東京 , 1999.2
ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳
東京 : みすず書房 , 2011.3
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌 / 田中一之著 ; バラマツヒトミ絵
東京 : 日本評論社 , 2019.12
確かさを求めて : 数学の基礎についての哲学論考 / M. ジャキント著 ; 田中一之監訳
東京 : 培風館 , 2007.1
ロジックの世界 : 論理学の哲人たちがあなたの思考を変える / ダン・クライアン, シャロン・シュアティル文 ; ビル・メイブリン絵 ; 田中一之訳
東京 : 講談社 , 2015.3. - (ブルーバックス ; B-1906)
数学者が読んでいる本ってどんな本 / 小谷元子編 ; 砂田利一 [ほか] 選
東京 : 東京図書 , 2013.10