1. TOP
  2. 復刊リクエスト
  3. 専門書
  4. 『証明論入門 〔数学基礎論 改題〕(竹内外史・八杉満利子)』 投票ページ

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

  • 著者:竹内外史・八杉満利子
  • 出版社:共立出版
  • ジャンル:専門書
  • 復刊リクエスト開始日:2002/10/18
  • ISBNコード:9784320014060 9784320019355
  • 復刊リクエスト番号:12835

得票数
34票

関連キーワード : [キーワードの編集] help「キーワードの編集」のリンクから、関連キーワードの追加/削除が行えます。
このエントリーをはてなブックマークに追加

リクエスト内容

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

新着投票コメント

読んでみたい。 (2018/03/05)

0

竹内先生の名著と名高い一冊。 是非手元に置きたいです。 (2010/06/12)

0

この分野に興味があります。勧められたりしているのを見るので、是非復刊されて欲しいです (2010/03/28)

0

読みたい (2009/07/30)

0

復刊を希望する理由を書く欄に「ネタバレ厳禁です」と注意書きがあります。この本のネタが説明できるほどの学識を持ちたいものです。 (2009/07/19)

0

もっと見る

投票する

このリクエストの関連商品(1件)

タイトル

著者名

価格

販売サイト

証明論入門 復刊 竹内 外史共著 八杉 満利子共著
3,780円 amazon.co.jp

※こちらの商品は販売先の状況によって品切れになる可能性があります

すでに本をお持ちの方は是非レビューをお寄せください。

レビュー投稿はこちら

ニュース

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

スポンサーリンク

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

投票する

※当作品の復刊が決定した場合、投票者の方は、購入時のTポイントが5倍になります。詳細はコチラ!

amazonリンク

amazon.co.jp

科学・技術に関するQ&A

全巻並べると、背表紙に虹

30年ほど前に、実家にあり、愛読しておりました。 なかなか、探しても見つからず、困っています。 動物や、人体や、未来、12館ほどあったと思います。 全巻を、順番通りに並べると、虹があらわれ...

TOPへ戻る