Godel, Escher, Bach #

Godel, Escher, Bach is a book by Douglas Hofstader. It is largely about artificial intelligence, with a particular focus on emergence. There is also quite of a lot of very imaginative exposition of mathematical logic and foundations, in particular the Godel incompleteness theorem.