Collected Works Vol 4 Godel C by Solomon Feferman & Kurt Godel