Collected works.
Gödel, Kurt.
Feferman, Solomon,1928-
Association for Symbolic Logic.
New York ; Oxford : Oxford University Press,
1990.
Prepared under the auspices of the Association for Symbolic Logic
Bibliography: p327-388. - Includes index
Logic, Symbolic and mathematical.