Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Classical Recursion Theory

Name: Classical Recursion Theory
Brand: North-Holland
SKU: 04079758
Price: 103.67 EUR
Availability: InStock
Author: Bas van der Hoek
ISBN: 9780444894830

Bas van der Hoek

Език

Английски език

Книга С меки корици

Код Либристо: 04079758

Издателство North-Holland, февруари 1992

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of nu... Цялото описание

Код Либристо: 04079758

251 b

103.67 €

202.76 лв

Външен склад Изпращаме след 10-18 дни

30 дни за връщане на стоката

Клиентите са закупили също

Biodigestion Como Tratamiento de Aguas Residuales de Granjas Lecheras Oscar Uma a

С меки корици

46.39 € 90.74 лв

(CAT).NOSTRA FAMILIA, LA (AVENTURES D'EN PAU I LA LAIA) Palacín

С меки корици

9.73 € 19.03 лв

Orient-Express MAURICIO WIESENTHAL

С меки корици

22.99 € 44.96 лв

Islamistischer Terrorismus Stefan Goertz

С меки корици

30.08 € 58.84 лв

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Godel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.