Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Classical Recursion Theory

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

Bas van der Hoek

Língua

Inglês

Livro Capa mole

Código Libristo: 04079758

Editoras North-Holland, fevereiro 1992

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of nu... Descrição completa

Código Libristo: 04079758

218 b

90.13 €

Armazenamento externo Envio em 10-18 dias

Política de devolução de 30 dias

Os clientes também compraram

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

Capa mole

38.68 €

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

Capa mole

7.79 €

Orient-Express MAURICIO WIESENTHAL

Capa mole

19.33 €

Islamistischer Terrorismus Stefan Goertz

Capa mole

25.31 €

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.