Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Available
0
StarStarStarStarStar
0Reviews
Sieg, W.Sieg, W., Pohlers, W., Feferman, S., Buchholz, W.
E-book
pdf
Price
26.99 £
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9783540386490
  • Publication Date: 14 Nov 2006
  • Publisher: Springer Berlin Heidelberg
  • Drm Setting: DRM