Partial realizations of Hilbert’s program (1988)

by Stephen G. Simpson
Venue:JOURNAL OF SYMBOLIC LOGIC
Citations:40 - 8 self