Structure of Decidable Locally Finite Varieties by Matthew Valeriote (English) H
66,97 €
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. It was clear from the beginning that any theory with a rich enough mathematical content must be undecidable.
Jetzt bei Ebay:
