After skimming the TOC a few times, I guess the more accurate title is "Computer Architecture from the Bottom Up". I don't see any math model like lambda calcu

After skimming the TOC a few times, I guess the more accurate title is "Computer Architecture from the Bottom Up". I don't see any math model like lambda calculus or Turing machine mentioned one it.