Feferman fue el redactor jefe de "Collected Works" de Kurt Gödel.