| 刊年 | 2017 |
| 形態 | xiv, 220p : 挿図 ; 21cm |
| 別書名 | The little prover
|
| 注記 | 中野圭介監訳
索引あり
原著(MIT Press, c2015)の翻訳
訳者(監訳者序文による): 鹿野桂一郎 |
| 出版国 | 日本 |
| 標題言語 | 日本語 |
| 本文言語 | 日本語 |
| 原作言語 | 英語 |
| 著者情報 | Friedman, Daniel P.
Eastlund, Carl
中野, 圭介 (ナカノ, ケイスケ)
鹿野, 桂一郎 (シカノ, ケイイチロウ)
|
| ISBN | 9784908686023
|
| 件名 | NDLSH:証明(数学)
|
| NCID | BB24952022 |