Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1

Description

Paperback. 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.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 2989
2. Sets, Models and Recursion Theory
3. Complex Analysis: Fundamentals of the Classical Theory of Functions
4. Classical Theory of Arithmetic Functions (Pure and Applied Mathematics): R Sivaramakrishnan
5. Classical Form: A Theory of Formal Functions for the Instrumental Music of Haydn, Mozart, and Beethoven
6. History of the Theory of Numbers, Volume III: Quadratic and Higher Forms (History of the Theory of Numbers)
7. History of the Theory of Numbers, Volume I: Divisibility and Primality (History of the Theory of Numbers)
8. Techniques of Admissible Recursion Theory
9. The Theory Of Functions Of A Real Variable And The Theory Of Fourier's Series V1
10. Recursion Theory for Metamathematics (Oxford Logic Guides)
11. Higher Recursion Theory (Perspectives in Mathematical Logic)
12. General Recursion Theory: An Axiomatic Approach (Perspectives in Mathematical Logic)
13. Complexity, Logic, and Recursion Theory (Lecture Notes in Pure and Applied Mathematics)
14. Abelian Functions: Abel's Theorem and the Allied Theory of Theta Functions
15. A Theory of Sets, 2nd Edition
16. [share_ebook] A Theory of Sets