お知らせ：まもなく午前3時より約5分間、定期メンテナンスを実施いたします。
メンテナンス中はサイトにアクセスできなくなりますのでご注意ください。
メンテナンス中はサイトにアクセスできなくなりますのでご注意ください。
| 著者 | 竹内外史・八杉満利子 |
|---|---|
| 出版社 | 共立出版 |
| ジャンル | 専門書 |
| ISBNコード | 9784320014060 9784320019355 |
| 登録日 | 2002/10/18 |
| リクエストNo. | 12835 |
ゲンツェンの cut elimination および自然数論の無矛盾性証明，さらにはゲーデルの Dialectica interpretation の解説等も含む，証明論の入門書．
読後レビュー
まだレビューはありません。
この本をお読みの方、ぜひレビューをお書きください。
外部リンク商品
| タイトル | 価格 | サイト |
|---|---|---|
| 証明論入門 復刊 | 3,850円 | アマゾン |
※こちらの商品は販売先の状況によって品切れになる可能性があります
ニュース
2010/07/01
証明論入門の名著！竹内外史、八杉満利子『証明論入門』 (３６票) 復刊決定！
2002/10/18
『証明論入門 〔数学基礎論 改題〕』（竹内外史・八杉満利子）の復刊リクエスト受付を開始しました。
関連キーワード
この本に関する情報を提供する
この本の情報を復刊ドットコムまでお寄せください
投票コメント （全33件）
2018/03/05
2018/03/05
2010/06/12
2010/06/12
2010/03/28
2010/03/28
2009/07/30
2009/07/30
2009/07/19
2009/07/19