Feferman, S. profile picture

Feferman, S.

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-theoretical Studies (Lecture Notes in Mathematics, 897)
Feferman, S. — Books & Biography | Menrva Books