W. SiegBooksIterated Inductive Definitions and Subsystems of AnalysisActing and ReflectingAuthor data: Open Library