Gödel's incompleteness theorems /
Smullyan, Raymond M.
New York ; Oxford : Oxford University Press,
1992.
Includes bibliographical references and index.
Gödel's theorem.