検索結果書誌一覧：蔵書検索システム

検索結果 書誌一覧

  • 著者名='田中 一之'
  • 該当 8件。 1 件目から 8 件目を表示。
  • NEW は新着資料、 BEST は予約が多い資料です。
チューリングと超(メタ)パズル 解ける問題と解けない問題 詳しく見る
チューリングと超(メタ)パズル 解ける問題と解けない問題
田中 一之／著 東京大学出版会 2013/11 巻次：
分類:410.79
貸出可否： ○
ロジックの世界 論理学の哲人たちがあなたの思考を変える ブルーバックス B-1906 詳しく見る
ロジックの世界 論理学の哲人たちがあなたの思考を変える ブルーバックス B-1906
ダン・クライアン／文 講談社 2015/03 巻次：
分類:116
貸出可否： ○
スマリヤン数理論理学講義 上巻 不完全性定理の理解のために 詳しく見る
スマリヤン数理論理学講義 上巻 不完全性定理の理解のために
レイモンド・M.スマリヤン／著 日本評論社 2017/09 巻次：上巻
分類:410.96
貸出可否： ×
スマリヤン数理論理学講義 下巻 不完全性定理の先へ 詳しく見る
スマリヤン数理論理学講義 下巻 不完全性定理の先へ
レイモンド・M.スマリヤン／著 日本評論社 2018/09 巻次：下巻
分類:410.96
貸出可否： ○
逆数学 定理から公理を「証明」する 詳しく見る
逆数学 定理から公理を「証明」する
ジョン・スティルウェル／著 森北出版 2019/02 巻次：
分類:410.9
貸出可否： ○
山の上のロジック学園 不完全性定理をめぐる2週間の授業日誌 詳しく見る
山の上のロジック学園 不完全性定理をめぐる2週間の授業日誌
田中 一之／著 日本評論社 2019/12 巻次：
分類:410.9
貸出可否： ○
ゲーデルと20世紀の論理学(ロジック) 3 不完全性定理と算術の体系 詳しく見る
ゲーデルと20世紀の論理学(ロジック) 3 不完全性定理と算術の体系
田中 一之／編 東京大学出版会 2007/03 巻次：3
分類:410.9
貸出可否： ○
ゲーデルと20世紀の論理学(ロジック) 4 集合論とプラトニズム 詳しく見る
ゲーデルと20世紀の論理学(ロジック) 4 集合論とプラトニズム
田中 一之／編 東京大学出版会 2007/07 巻次：4
分類:410.9
貸出可否： ○

絞込み
前のページへもどる
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。