Thinking about Gödel and Turing January 2007 Gödel's theorem.; Incompleteness theorems.; Logic, Symbolic and mathematical.; Metamathematics.; C… ISBN 9812708960 View on Amazon Lists featuring this book (1)
