Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics (897), Band 897)
von
Wilfred Buchholz
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-540-11170-2
ISBN-10: 3-540-11170-0
Springer
· 2009
