Collected works.
Gödel, Kurt,author.
Feferman, Solomon,editor.
Dawson, John W.(John William),1944-editor.
Originally published: Oxford: Clarendon, 2003.
Logic, Symbolic and mathematical.