Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies: 897 (Lecture Notes in Mathematics)
by Wilfred Buchholz,Wilfried Sieg,Solomon Feferman,Wolfram Pohlers
ISBN 13: 9783540111702
Format: Paperback (392 pages) Publisher: Springer Published: 22 Feb 2009
Save for later