... the most elegant exposition of the theory of recursively enumerable (r.e.) sets in existence.
... ang mga pinaka-matikas pagsasaysay ng mga teorya ng recursively enumerable (muli) set sa pagkakaroon.