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