Partial realizations of Hilbert's Program (1988)

by Stephen G ÊSimpson
Venue:Journal of Symbolic Logic