検索結果一覧

検索条件

  • 著者
    田中一之
ハイライト

SDI

1 ～ 8 件（全8 件）

  1. チューリングと超（メタ）パズル

    田中一之／著 -- 東京大学出版会 -- 201311 --

  2. 数学者が読んでいる本ってどんな本

    小谷元子／編 -- 東京図書 -- 201310 --

  3. ゲーデルに挑む

    田中一之／著 -- 東京大学出版会 -- 201204 --

  4. ゲーデルの定理

    トルケル・フランセーン／〔著〕 -- みすず書房 -- 201103 --

  5. ゲーデルと２０世紀の論理学（ロジック） ４ 集合論とプラトニズム

    田中一之／編 -- 東京大学出版会 -- 200707 --

  6. ゲーデルと２０世紀の論理学（ロジック） ３ 不完全性定理と算術の体系

    田中一之／編 -- 東京大学出版会 -- 200703 --

  7. ゲーデルと２０世紀の論理学（ロジック） ２ 完全性定理とモデル理論

    田中一之／編 -- 東京大学出版会 -- 200610 --

  8. ゲーデルと２０世紀の論理学（ロジック） １ ゲーデルの２０世紀

    田中一之／編 -- 東京大学出版会 -- 200607 --

SDI

1 ～ 8 件（全8 件）