S. FefermanBooksModel-Theoretic LogicsIterated Inductive Definitions and Subsystems of AnalysisAuthor data: Open Library