Kurt Gödel. collected works /
Feferman, Solomon,editor.
Dawson, John W.(John William),1944-editor.
Goldfarb, Warren D.,editor.
Parsons, Charles,1933-editor.
Sieg, Wilfried,1945-editor.
Gödel, Kurt.Correspondence.Selections.
Prepared under the auspices of the Association for Symbolic Logic.
First published 2003.
Includes bibliographical references and index.
Gödel, Kurt
Logic, Symbolic and mathematical.