Buchholz, Wilfried, 1948-
著者名典拠詳細を表示
| 著者の属性 | 個人 |
|---|---|
| 一般注記 | Iterated inductive definitions and subsystems of analysis, 1981 (a.e.) CIP t.p. (Wilfried Buchholz) CIP data sheet (b. 4/1/48) |
| Dates of Birth and Death | 1948- |
| から見よ参照 | Buchholz, Wilfried Buchholz, W |
| コード類 | 典拠ID=AU20069937 NCID=DA02644671 |
| 1 | Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.] : Berlin,: New York. - Berlin ; New York : Springer-Verlag , 1981 |