復刊ドットコム

新規会員登録

新規会員登録

T-POINT 貯まる!使える!

34

投票する

証明論入門 〔数学基礎論 改題〕

証明論入門 〔数学基礎論 改題〕

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

投票する

得票数 34

リクエストに関連する復刊/関連商品をみる

著者 竹内外史・八杉満利子
出版社 共立出版
ジャンル 専門書
ISBNコード 9784320014060 9784320019355
登録日 2002/10/18
リクエストNo. 12835

リクエスト内容

ゲンツェンの cut elimination および自然数論の無矛盾性証明,さらにはゲーデルの Dialectica interpretation の解説等も含む,証明論の入門書.

関連キーワード

キーワードの編集

投票コメント

全33件

  • 読んでみたい。 (2018/03/05)
    GOOD!0
  • 竹内先生の名著と名高い一冊。
    是非手元に置きたいです。 (2010/06/12)
    GOOD!0
  • この分野に興味があります。勧められたりしているのを見るので、是非復刊されて欲しいです (2010/03/28)
    GOOD!0
  • 読みたい (2009/07/30)
    GOOD!0
  • 復刊を希望する理由を書く欄に「ネタバレ厳禁です」と注意書きがあります。この本のネタが説明できるほどの学識を持ちたいものです。 (2009/07/19)
    GOOD!0

もっと見る

タイトル 価格 サイト
証明論入門 復刊 3,850円 アマゾン
※こちらの商品は販売先の状況によって品切れになる可能性があります

NEWS

  • 2010/07/01
    証明論入門の名著!竹内外史、八杉満利子『証明論入門』 (36票) 復刊決定!

  • 2002/10/18
    『証明論入門 〔数学基礎論 改題〕』(竹内外史・八杉満利子)の復刊リクエスト受付を開始しました。

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

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

詳しくはこちら

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

復刊リクエストTOPへ

T-POINT 貯まる!使える!