Gödel’s program for new axioms: Why, where, how and what (1996)

by S Feferman
Venue:In Gödel ’96, P. Hájek, Ed