ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(著者名に左の語を含む: #田中 一之)
該当件数:21件
ゲーデルの20世紀
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学(ロジック) / 田中一之編 ; 1)
図書
完全性定理とモデル理論
東京 : 東京大学出版会 , 2006.10. - (ゲーデルと20世紀の論理学(ロジック) / 田中一之編 ; 2)
不完全性定理と算術の体系
東京 : 東京大学出版会 , 2007.3. - (ゲーデルと20世紀の論理学(ロジック) / 田中一之編 ; 3)
数の体系と超準モデル / 田中一之著
東京 : 裳華房 , 2002.4
図書 [BA56669272]
集合論とプラトニズム
東京 : 東京大学出版会 , 2007.7. - (ゲーデルと20世紀の論理学(ロジック) / 田中一之編 ; 4)
ゲーデルに挑む : 証明不可能なことの証明 / 田中一之著
東京 : 東京大学出版会 , 2012.4
図書 [BB09016521]
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
図書 [BB28388818]
チューリングと超 (メタ) パズル : 解ける問題と解けない問題 / 田中一之著
東京 : 東京大学出版会 , 2013.11
図書 [BB14131391]
逆数学と2階算術 / 田中一之著
名古屋 : 河合文化教育研究所 , 1997.8. - (数学基礎論シリーズ ; 4巻)
確かさを求めて : 数学の基礎についての哲学論考 / M.ジャキント著 ; 田中一之監訳
東京 : 培風館 , 2007.1
数学のロジックと集合論 / 田中一之共著 ; 鈴木登志雄共著
東京 : 培風館 , 2003.12
図書 [BA6512661X]
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える / 〔ソーンダース・マックレーン〕〔ほか著〕 ; 田中一之編・監訳
東京 : シュプリンガー・フェアラーク東京 , 1999.2
図書 [BA41098407]
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌 / 田中一之著 ; バラマツヒトミ絵
東京 : 日本評論社 , 2019.12
図書 [BB29552145]
ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳
東京 : みすず書房 , 2011.3
図書 [BB0525845X]
不完全性定理の理解のために / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2017.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 上巻)
図書 [BB24549788]
ロジックの世界 : 論理学の哲人たちがあなたの思考を変える / ダン・クライアン, シャロン・シュアティル文 ; ビル・メイブリン絵 ; 田中一之訳
東京 : 講談社 , 2015.3. - (ブルーバックス ; B-1906)
図書 [BB18260261]
スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2017.9-2018.9
図書 [BB26881140]
不完全性定理の先へ / レイモンド・M・スマリヤン著 ; 川辺治之訳
東京 : 日本評論社 , 2018.9. - (スマリヤン数理論理学講義 / レイモンド・M・スマリヤン著 ; 川辺治之訳 ; 下巻)
図書 [BB26881355]
逆数学 : 定理から公理を「証明」する / ジョン・スティルウェル著 ; 川辺治之訳
東京 : 森北出版 , 2019.2
図書 [BB27733604]
数学基礎論講義 : 不完全性定理とその発展 / 田中一之 [ほか] 著
東京 : 日本評論社 , 1997.3
図書 [BN16121881]
数学者が読んでいる本ってどんな本 / 小谷元子編 ; 砂田利一 [ほか] 選
東京 : 東京図書 , 2013.10
図書 [BB13743541]
