• 题名: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
    作者: Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg
    索书号: http://link.springer.com/openurl?genre=book&isbn=978-3-540-11170-2
在架