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