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 |