東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #田中 一之)
該当件数:9件
ゲーデルと20世紀の論理学 (ロジック) / 田中一之編
東京 : 東京大学出版会 , 2006.7-2007.7
図書
ゲーデルの20世紀 / 田中一之編
東京 : 東京大学出版会 , 2006.7. - (ゲーデルと20世紀の論理学 (ロジック) / 田中一之編 ; 1)
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳
東京 : シュプリンガー・フェアラーク東京 , 1999.2
数の体系と超準モデル / 田中一之著
東京 : 裳華房 , 2002.4
数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics / 田中一之著
東京 : 裳華房 , 2019.6
確かさを求めて : 数学の基礎についての哲学論考 / M. ジャキント著 ; 田中一之監訳
東京 : 培風館 , 2007.1
数学のロジックと集合論 / 田中一之, 鈴木登志雄共著
東京 : 培風館 , 2003.12
ゲーデルの定理 : 利用と誤用の不完全ガイド / トルケル・フランセーン [著] ; 田中一之訳
東京 : みすず書房 , 2011.3
ロジックの世界 : 論理学の哲人たちがあなたの思考を変える / ダン・クライアン, シャロン・シュアティル文 ; ビル・メイブリン絵 ; 田中一之訳
東京 : 講談社 , 2015.3. - (ブルーバックス ; B-1906)