Review Classical Recursion Theory
Classical Recursion Theory High quality books
Classical Recursion Theory
By:P. Odifreddi
Published on 1992-02-04 by Elsevier

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.
This Book was ranked at 30 by Google Books for keyword Classical dichotomy.
Book ID of Classical Recursion Theory's Books is ahBLqshTFMwC, Book which was written byP. Odifreddihave ETAG "r6T0rYNXuBI"
Book which was published by Elsevier since 1992-02-04 have ISBNs, ISBN 13 Code is 9780080886596 and ISBN 10 Code is 0080886590
Reading Mode in Text Status is false and Reading Mode in Image Status is true
Book which have "667 Pages" is Printed at BOOK under CategoryComputers
This Book was rated by 1 Raters and have average rate at "5.0"
This eBook Maturity (Adult Book) status is NOT_MATURE
Book was written in en
eBook Version Availability Status at PDF is true and in ePub is false

Book Preview

Comments
Post a Comment