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

Popular posts from this blog

Download History of Political Economy

Review The Lemonade Life

Best Seller Modeling with Macro-Financial Linkages