ご使用のブラウザでは、Cookieの設定が無効になっています。
すべての機能を利用するには、ブラウザの設定から当サイトドメインのCookieを有効にしてください。

  • 現代数理論理学入門 復刊

  • 現代数理論理学入門 復刊

現代数理論理学入門 復刊

  • J.N.クロスリー/他著 田中尚夫/訳 田中 尚夫
    1962年東京都立大学大学院修了。1964年~1999年法政大学工学部・大学院工学研究科勤務。現在、法政大学名誉教授・理学博士。専門は数学基礎論(記述集合論、計算量理論)

  • ページ数
    185p
  • ISBN
    978-4-320-11318-3
  • 発売日
    2017年04月

閉じる

例)1234567

[住所の変更]

宅配受取り
店舗受取り(送料無料
セブン-イレブン
その他の店舗

閉じる

[対象店舗]
お急ぎ店舗受取り(324円

数量:

4,200 (税込:4,536

在庫あり

シェアする
Facebook
Twitter
Google+
メール

閉じる

ログイン後、改めてメールの送信をお願いします。 ログイン

商品の説明

目次
第1章 歴史的概観
第2章 述語論理の完全性
第3章 モデル理論
第4章 チューリング計算機と帰納的関数
第5章 ゲーデルの不完全性定理
第6章 集合論
訳者解説

商品詳細情報

サイズ 22cm
原題 原タイトル:What is Mathematical Logic?

ページの先頭へ

閉じる

  • 現代数理論理学入門 復刊
  • 現代数理論理学入門 復刊

閉じる

エラーが発生しました。

読み込み中