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

by Solomon Feferman
Venue:IN GODEL '96
Citations:16 - 6 self