Hilbert’s program relativized: proof-theoretical and foundational reductions (1988)

by Solomon Feferman
Venue:J. Symbolic Logic