Title: Thinking about Gödel and Turing
First published: 2007
Subjects: Computational complexity, Gödel's theorem, Incompleteness theorems, Logic, Symbolic and mathematical, Metamathematics, Symbolic and mathematical Logic, Goedel's theorem
LC classification: QA9.65 .C43 2007