ショウメイ ノ ヨミカタ カンガエカタ : スウガクテキ シコウ カテイ エノ テビキ
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
| Material Type | Books |
|---|---|
| Publisher | 東京 : 共立出版 |
| Year | 1985.6 |
| Language | Japanese |
| Size | 11, 169p ; 19cm |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | ISBN | Media type | Restriction | Request Memo | Reserve |
|---|---|---|---|---|---|---|---|---|---|
| 2F書庫1-和書 |
|
410.96/SO33 | 000617847 | 4320013425 | 図書 |
|
|
|
Hide details.
| Other titles | original title:How to read and do proofs : an introduction to mathematical thought process. |
|---|---|
| Notes | 巻末:索引 |
| Authors | Solow, Daniel 著 <アンドウ, シロウ> 安藤, 四郎(1928-) [ほか]訳 |
| Subjects | NDLSH:記号論理学 |
| Classification | NDC8:410.96 NDLC:MA41 |
| ID | 1000079442 |
| ISBN | 4320013425 |
Similar Items
- 1 数学の基礎 / D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
- 2 応用論理 / 桔梗宏孝著
- 3 数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
- 4 知識と推論 / 森下真一著
- 5 情報理論のための数理論理学 / 板井昌典著
- 6 含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう / 米谷達也共著 : 数理哲人共著
- 7 数理論理学 / 鹿島亮著
- 8 コンピュータは数学者になれるのか? : 数学基礎論から証明とプログラムの理論へ / 照井一成著
- 9 数理論理学 / 松本和夫著
- 10 数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
Library Service