Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics, #897)

by W. Buchholz, S. Feferman, W. Pohlers, and W. Sieg

0 ratings • 0 reviews • 0 shelved
Book cover for Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN13 9783540111702
  • Publish Date 1 December 1981
  • Publish Status Active
  • Publish Country DE
  • Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Edition 1981 ed.
  • Format Paperback
  • Pages 384
  • Language English