復刊 証明論入門
| 著者/訳者名 | 竹内外史
|
|---|---|
| 出版社 | 共立出版 |
| 発行年月日 | 2010年06月09日 |
| ISBNコード | 9784320019355 |
| 定価 | ¥3,850（税込） |
概要
還元法による証明論という数学基礎論の一分野への導入という一貫した姿勢で，論理関係の教科書に見られない内容を扱い初歩から解説．
こんにちは ゲスト様
- 検索機能で欲しかった書籍を
- 書籍・雑誌検索
- アカデミック版などお得に
- ソフトウェア
- 記念品やお土産に最適
- 岡山大学オリジナルグッズ
- お得で旬な商品をご紹介
- メールニュース掲載商品
- 大学生協の医療書専門店
- IKEI メディカルブックストア
