＜Books＞
ショウメイロン ニュウモン
証明論入門 / 竹内外史,八杉満利子 共著
| Publisher | 東京 : 共立出版 |
|---|---|
| Year | 1988.2 |
| Size | 191p ; 22cm |
| Authors | 竹内, 外史(1926-) <タケウチ, ガイシ > 八杉, 満利子(1937- ) <ヤスギ, マリコ(1937- )> |
| Subjects | 証明(数学上) |
| Notes | 『数学基礎論』(1974年刊)の改題 参考文献:文献:p186〜187 |
TOC
Hide book details.
| Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 3F 図書 | 図書 |
|
410.9//Ta67 |
|
4320014065 |
|
|
|
0089082632 |
Hide details.
| Material Type | Books |
|---|---|
| Classification | NDC:410.9 |
| ID | 1000128135 |
| ISBN | 4320014065 |
Similar Items
Usage statistics of this contents
Number of accesses to this page：2times
※After Sep 4, 2017
Total Lendings：4times
(Lending within 3 months：0times)