証明論と計算量

証明論と計算量

LINEでシェア X(Twitter)でシェア Facebookでシェア

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

得票数　6票
投票する
著者 竹内外史
出版社 裳華房
ジャンル 専門書
ISBNコード 9784785310967
登録日 2008/12/18
リクエストNo. 44815
リクエスト内容
【目次】

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

投票コメント （全6件）

瑠璃の玖
瑠璃の玖
基礎論に関する和書は増えてきたが、日本有数の基礎論研究者が書いた本書を是非読んでみたい。

2015/11/28

ヤンウェンリ
ヤンウェンリ
古書は高すぎる。ぜひ復刊を。

2012/03/28

mandos
mandos
計算量について学び直したいので。

2010/09/14

tell
tell
この分野について知りたいので

2010/03/28

はしとも
はしとも
興味があります。

2009/11/29

コメント一覧を見る

読後レビュー

まだレビューはありません。

この本をお読みの方、ぜひレビューをお書きください。

レビューを投稿する

ニュース

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

関連キーワード

数学 論理学 竹内外史 裳華房 科学・技術
キーワードの編集

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

この本の情報を復刊ドットコムまでお寄せください
復刊予定 著者／絶版情報 奥付情報 ISBNコード サイト情報 修正依頼 二重登録報告
詳細を見る