33 票
著者 | 竹内外史・八杉満利子 |
---|---|
出版社 | 共立出版 |
ジャンル | 専門書 |
ISBNコード | 9784320014060 9784320019355 |
登録日 | 2002/10/18 |
リクエストNo. | 12835 |
リクエスト内容
ゲンツェンの cut elimination および自然数論の無矛盾性証明,さらにはゲーデルの Dialectica interpretation の解説等も含む,証明論の入門書.
投票コメント
全33件
読後レビュー
タイトル | 価格 | サイト |
---|---|---|
証明論入門 復刊 | 3,850円 | アマゾン |
NEWS
-
2010/07/01
証明論入門の名著!竹内外史、八杉満利子『証明論入門』 (36票) 復刊決定! -
2002/10/18
『証明論入門 〔数学基礎論 改題〕』(竹内外史・八杉満利子)の復刊リクエスト受付を開始しました。
復刊実現の投票はあなたの投票から。
復刊リクエスト投票であなたの思いを形にしましょう!
hiro