Partial realizations of Hilbert’s program (1988)

by S G Simpson
Venue:Journal of Symbolic Logic