1996]: ‘Gödel’s program for new axioms (0)

by SOLOMON FEFERMAN
Venue:Gödel ’96: Logical Foundations of mathematics, Computer Science, and Physics—Kurt Gödel’s Legacy. Lecture Notes in Logic 6