## Find a copy online

### Links to this item

ub.unibas.ch Uni Basel: Zugriffsinformationen

## Find a copy in the library

Finding libraries that hold this item...

## Details

Genre/Form: | Electronic books |
---|---|

Material Type: | Document, Internet resource |

Document Type: | Internet Resource, Computer File |

ISBN: | 9780444894830 0444894837 |

OCLC Number: | 731740751 |

Notes: | "First edition 1989"--T.p. verso. |

Description: | 1 online resource (Online-Datei.) |

Series Title: | Studies in logic and the foundations of mathematics, v. 125 |

Responsibility: | Piergiorgio Odifreddi. |

### Abstract:

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 Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

## Reviews

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "Classical recursion theory : the theory of functions and sets of natural numbers".
Be the first.