Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers (Studies in Logic and the Foundations of Mathematics) Export

@book{citeulike:3170823, 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\"{o}del's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.}, author = {Odifreddi, P.}, citeulike-article-id = {3170823}, citeulike-linkout-0 = {http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0444894837}, citeulike-linkout-1 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21&path=ASIN/0444894837}, citeulike-linkout-2 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21&path=ASIN/0444894837}, citeulike-linkout-3 = {http://www.amazon.jp/exec/obidos/ASIN/0444894837}, citeulike-linkout-4 = {http://www.amazon.co.uk/exec/obidos/ASIN/0444894837/citeulike00-21}, citeulike-linkout-5 = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0444894837}, citeulike-linkout-6 = {http://www.worldcat.org/isbn/0444894837}, citeulike-linkout-7 = {http://books.google.com/books?vid=ISBN0444894837}, citeulike-linkout-8 = {http://www.amazon.com/gp/search?keywords=0444894837&index=books&linkCode=qs}, citeulike-linkout-9 = {http://www.librarything.com/isbn/0444894837}, edition = {New Ed}, howpublished = {Paperback}, isbn = {0444894837}, keywords = {computability, recursion-theory}, month = {February}, posted-at = {2008-08-28 23:35:30}, priority = {2}, publisher = {North Holland}, title = {Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers (Studies in Logic and the Foundations of Mathematics)}, url = {http://www.amazon.com/exec/obidos/redirect?tag=citeulike07-20&path=ASIN/0444894837}, year = {1992} }

TY - BOOK ID - citeulike:3170823 L3 - citeulike-article-id:3170823 N2 - 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. SN - 0444894837 TI - Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers (Studies in Logic and the Foundations of Mathematics) PB - North Holland KW - computability KW - recursion-theory AU - Odifreddi, P PY - 1992/02/04/ UR - http://www.amazon.ca/exec/obidos/redirect?tag=citeulike09-20&path=ASIN/0444894837 ER -