| 出版情報 |
Berlin ; New York : Springer-Verlag , 1981 |
| 大きさ |
v, 383 p. : ill. ; 25 cm |
| 一般注記 |
Bibliography: p. [358]-368
Includes index |
| 著者標目 |
Buchholz, Wilfried, 1948-
|
| 件 名 |
LCSH:Mathematical analysis -- Foundations
全ての件名で検索
LCSH:Induction (Mathematics)
LCSH:Proof theory
|
| 分 類 |
LCC:QA3
LCC:QA299.8
DC19:510 s
DC19:511
|
| 本文言語 |
英語 |
| 書誌ID |
TB10052210 |
| ISBN |
3540111700 |
| NCID |
BA04001778
|
| 巻冊次 |
: Berlin ; ISBN:3540111700
: New York ; ISBN:0387111700
|
