Hilbert's programme. Dialectica 12, 346--372. (Revised, with Postscript in (Benaceraff and Putnam (1958)

by G Kreisel
Venue:J. Symbolic Logic