Shelfclass_id |
4.B.3 |
Sortkey |
BUCHHOLZ, WILFRIED |
Authors |
Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg |
Title |
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies |
Publisher |
Springer Pub. Co. |
Year |
1981 |
Languages |
eng |
Isbn |
0387111700 |
Series |
Lecture Notes in Mathematics |
Volume |
897 |
Description |
(U.S.: pbk.) v, 383 p. ill. 25 cm. |
Record date |
20061025 |
Location |
New York |
Keywords |
Mathematical analysis, Induction (Mathematics), Proof theory |
Notes |
Includes index. |