Kurt Gödel : essays for his centennial /
Gödel, Kurt.
Feferman, Solomon.
Parsons, Charles,1933-
Simpson, Stephen G.(Stephen George),1945-
New York ; Cambridge : Cambridge University Press : Association for Symbolic Logic,
2010.
Includes bibliographical references.
Logic, Symbolic and mathematical.