Structure of Decidable Locally Finite Varieties

A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel''s [1931] paper on formally undecidable propo­ sitions of arithmetic. During the 1930s, in the work of such mathemati­ cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel''s idea evolved into the concept of a recursive function. Church pro­ posed the thesis, generally a...