GEB is an amazing book, recommended to anyone into CS and logic.