Collected works.
Gödel, Kurt.
Feferman, Solomon,1928-
Association for Symbolic Logic.
New York ; Oxford : Oxford University Press,
2001, c1990.
Includes bibliographical references and index.
Logic, Symbolic and mathematical.