Thinking about Gödel and Turing : essays on complexity, 1970-2007 /
Chaitim, Gregory J.
Hackensack, N.J. : World Scientific,
c2007.
Includes bibliographical references and index.
Gödel's theorem.
Incompleteness theorems.
Logic, Symbolic and mathematical.
Metamathematics.
Computational complexity.