復刊ドットコム

新規会員登録

新規会員登録

T-POINT 貯まる!使える!

6

投票する

証明論と計算量

証明論と計算量

復刊活動にご賛同の方は
リクエスト投票をお願いします。

投票する

得票数 6

著者 竹内外史
出版社 裳華房
ジャンル 専門書
ISBNコード 9784785310967
登録日 2008/12/18
リクエストNo. 44815

リクエスト内容

【目次】

1 多項式時間で計算できる関数
2 限定算術
3 超数学の形式化と不完全性定理
4 PHPと数え上げ原理

関連キーワード

キーワードの編集

投票コメント

全6件

  • 基礎論に関する和書は増えてきたが、日本有数の基礎論研究者が書いた本書を是非読んでみたい。 (2015/11/28)
    GOOD!0
  • 古書は高すぎる。ぜひ復刊を。 (2012/03/28)
    GOOD!0
  • 計算量について学び直したいので。 (2010/09/14)
    GOOD!0
  • この分野について知りたいので (2010/03/28)
    GOOD!0
  • 興味があります。 (2009/11/29)
    GOOD!0

もっと見る

読後レビュー

レビュー投稿はこちら

NEWS

  • 2008/12/18
    『証明論と計算量』(竹内外史)の復刊リクエスト受付を開始しました。

この本に関する情報を提供する

この本の情報を復刊ドットコムまでお寄せください

詳しくはこちら

復刊実現の投票はあなたの投票から。
復刊リクエスト投票であなたの思いを形にしましょう!

復刊リクエストTOPへ

T-POINT 貯まる!使える!