S. Feferman

No bio available. Add one in Open Library.

Books by S. Feferman (50 max)

+ shelf+ list

Model-Theoretic Logics

2016

J. Barwise, S. Feferman

+ shelf+ list

Iterated Inductive Definitions and Subsystems of Analysis Recent Proof-Theoretical Studies

1981

S. Feferman, W. Buchholz, W. Pohlers, W. Sieg