Hilbert’s programme (1983)

by Georg Kreisel
Venue:Philosophy of Mathematics (2nd ed