| Title | Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies |
|---|---|
| Author | Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg (auth.) |
| Year | 1981 |
| Edition | 1 |
| Volume | |
| Series | Lecture Notes in Mathematics 897 |
| Publisher | Springer-Verlag Berlin Heidelberg |
| City | |
| Language | English |
Size: 5.26MB | Pages: 384 |
LLC: N/A | DDC:
