| 刊年 | 1988 |
| 形態 | 2, 2, 191p ; 22cm |
| 別書名 | 証明論入門 : 数学基礎論改題
|
| 注記 | 「数学基礎論」増補版(1974年刊)の改題改訂
文献: p[186]-187 |
| 出版国 | 日本 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 著者情報 | 竹内, 外史(1926-) (タケウチ, ガイシ)
八杉, 満利子(1937-) (ヤスギ, マリコ)
|
| 分類 | NDC8:410.9
NDC7:410.1
NDLC:MA41 |
| ISBN | 4320014065
|
| 件名 | BSH:数学基礎論
|
| NCID | BN01958614 |
| 番号 | OTHN : JLA:88-05519 |