#logic

Gödel, Escher, Bach

Probably the hardest book I’ve ever read. If you want to get the overall idea, read I am a strange loop instead.