ISBN 3540111700 books & textbook
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Buchholz, Wilfred Sieg, Wilfried Feferman, Solomon Pohlers, Wolfram
Springer /1981-12-01 Paperback / 392 Pages
isbn-10: 3540111700 / isbn-13: 9783540111702
