Collected works.
Gödel, Kurt.
Feferman, Solomon,1928-
Association for Symbolic Logic.
New York ; Oxford : Oxford University Press,
1995.
"Prepared under the auspices of the Association for Symbolic Logic."
Logic, Symbolic and mathematical.