Collected works.
Gödel, Kurt.
Feferman, Solomon,1928-
Association for Symbolic Logic.
Oxford : Oxford University Press,
2001.
Logic, Symbolic and mathematical.