S. Feferman · 2 obras en el catálogoObrasMModel-Theoretic LogicsModel-Theoretic LogicsIIterated Inductive Definitions and Subsystems of AnalysisIterated Inductive Definitions and Subsystems of Analysis
IIterated Inductive Definitions and Subsystems of AnalysisIterated Inductive Definitions and Subsystems of Analysis