>>53,55
Apparently a sound replacement for “The Concrete Tetrahedron” is “Mathematics for the Analysis of Algorithms” (978-0-8176-4728-5) by Knuth and Greene, and a sound replacement for “Introduction to Theory of Computation” is “Computational Complexity” (978-0-5214-2426-4) by Arora and Barak. Unfortunately the former replacement requires Complex Analysis, and Combinatorics instead of Complex Analysis, Abstract Algebra, and Linear Algebra (the last of which I have knowledge of). The latter replacement is still not exactly what I'm looking for in that this is that theory of computation deals more with formalisms for analysing problems than solutions. I feel I can teach myself basic Abstract Algebra and Real Analysis pretty easily (a textbook for one of my courses covers these two subjects in the last two chapters, which were not used in the course), but I don't know about Complex Analysis, or Combinatorics and I don't know the proficiency required in these subjects to read the text.