The structure of decidable locally finite varieties [electronic resource] / Ralph McKenzie, Matthew Valeriote.

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 T...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	McKenzie, Ralph
Other Authors:	Valeriote, Matthew
Other title:	Locally finite varieties.
Format:	Electronic eBook
Language:	English
Published:	Boston : Birkhäuser, 1989.
Series:	Progress in mathematics (Boston, Mass.) ; v. 79.
Subjects:	Varieties (Universal algebra) Lokal endliche Mannigfaltigkeit.