Hilbert’s programme (0)

by Georg Kreisel
Venue:In Benacerraf and Putnam