Description
About this book
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. An English-language digital edition by W. Buchholz; S. Feferman; W. Pohlers; W. Sieg, available in PDF.
Edition details
- Author / contributors: W. Buchholz; S. Feferman; W. Pohlers; W. Sieg
- Publisher: Springer Berlin Heidelberg
- Publication date: November 14, 2006
- Language: English
- ISBNs: 9783540111702; 9783540386490
- Digital formats: PDF





Reviews
There are no reviews yet.