Ebook: Classical recursion theory : the theory of functions and sets of natural numbers
Author: Odifreddi Piergiorgio
- Series: Studies in logic and the foundations of mathematics 125
- Year: 1992
- Publisher: Elsevier
- City: New York, Amsterdam
- Language: English
- pdf
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'sRead more...
Abstract:
Includes a number of applications to logic (in particular Godel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation. This book presents a comprehensiveRead more...
Download the book Classical recursion theory : the theory of functions and sets of natural numbers for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)