This is the most ambiguous part of the keyword. The number could refer to a few different things within the context of the book. Based on typical usage, the most likely interpretations are:
Zohar Manna's Mathematical Theory of Computation is a foundational text first published in This is the most ambiguous part of the keyword
Why "Portable PDF" Formats Matter for Classic Computer Science Texts At Stanford, he mentored a generation of leaders
His 1968 PhD from Carnegie Mellon University set the stage for a career marked by groundbreaking contributions. At Stanford, he mentored a generation of leaders in the field, including Adi Shamir (of RSA fame), Nachum Dershowitz, and Thomas Henzinger. Manna's overarching goal was perhaps best summarized by his own words: to transform the art of verifying computer programs (or "debugging") into a rigorous science. This philosophy is the central theme of his seminal work, Mathematical Theory of Computation . including Adi Shamir (of RSA fame)