[Computer Science] Godel, Escher, Bach - An Eternal Golden Braid - Douglas R. Hofstadter
[Computer Science] a Logical Journey From Godel to Philosophy - Hao Wang