S. Feferman

S. Feferman

1 books in the database

Books

Iterated Inductive Definitions and Subsystems of AnalysisS. Feferman

Iterated Inductive Definitions and Subsystems of Analysis

S. Feferman · 1981

Co-authored books and collections

Books that list S. Feferman among their authors but not as the lead author: co-written works, collections and compilations.

Model-Theoretic LogicsJ. Barwise

Model-Theoretic Logics

J. Barwise · 2017