Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Classical Recursion Theory

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

Bas van der Hoek

Language

English

Book Paperback

Libristo code: 04079758

Publishers North-Holland, February 1992

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of nu... Full description

Libristo code: 04079758

251 b

36 582 Ft

In stock at our supplier Shipping in 10-18 days

30-day return policy

Customers also purchased

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

Paperback

16 910 Ft

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

Paperback

3 302 Ft

Orient-Express MAURICIO WIESENTHAL

Paperback

7 681 Ft

Islamistischer Terrorismus Stefan Goertz

Paperback

10 951 Ft

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.