What rests on what? The proof-theoretic analysis of mathematics. Philosophy of mathematics (Kirchberg am Wechsel (1992)

by S Feferman
Venue:147– 171, Schriftenreihe Wittgenstein-Ges., 20/I, Hölder-Pichler-Tempsky