Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Classical Recursion Theory

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

Bas van der Hoek

Limba

engleză

Carte Carte broșată

Codul Libristo: 04079758

Editura North-Holland, februarie 1992

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of nu... Descrierea completă

Codul Libristo: 04079758

240 b

520.22 lei

În depozitul extern Expediem în 10-18 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

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

Carte broșată

243.32 lei

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

Carte broșată

49.09 lei

Orient-Express MAURICIO WIESENTHAL

Carte broșată

120.51 lei

Islamistischer Terrorismus Stefan Goertz

Carte broșată

157.83 lei

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.