Set-Theoretic Formalization of Computational Algorithms, Computable Functions, and General-Purpose Computers.
Regular price$15.00
$15.00
Sale
A formalization of the notion of computational algorithms. The corresponding class of algorithmically computable functions is identified, and the results are used to more clearly define "general-purpose computer." 35 pp....