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

by S Feferman
Venue:J. Symbolic Logic