1.Previous
3.Next

Stud. Logic Foundations Math., 97, Amsterdam, New York, North-Holland.
*Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), "Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies", Lecture Notes in Mathematics, 897, Berlin, New York, Springer-Verlag.
*Feferman, Solomon; Hellman, Geoffrey (1995), "Predicative foundations of arithmetic", J. Philos. Logic 24 (1), 1-17.
*Avigad, Jeremy;

1.Previous
3.Next