| Title | Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies |
|---|---|
| Author | W. Buchholz, S. Feferman, W. Pohlers, W. Sieg |
| Year | 1981 |
| Edition | 1 |
| Volume | |
| Series | Lecture Notes in Mathematics |
| Publisher | Springer |
| City | |
| Language | English |
Size: 11.87MB | Pages: 383 |
LLC: N/A | DDC:
