The undecidable January 2004 Gödel's theorem; Unsolvability (Mathematical logic); Recursive functions; Turing machines; Computa… ISBN 0486432289 View on Amazon Lists featuring this book (3)
Philosophy of Computing / Computational Philosophy 21 books on this list books computational computing philosophy
Kurt Godel and his famous Incompleteness Theorems 25 books on this list books famous godel incompleteness kurt theorems
