Finally getting around to some discrete mathematics texts and the foundations of mathematics. All driven by an intense desire to understand the Busy Beaver function.