This might be cliche, but one of the books that I felt had the best approach in tying it all together is "Gödel, Escher & Bach". It's brilliant in its simplicit

This might be cliche, but one of the books that I felt had the best approach in tying it all together is "Gödel, Escher & Bach". It's brilliant in its simplicity and makes all the right connections between a simplified exploration of Computer Science and a lot of the important logical and historical aspects.