Classical Recursion Theory: Volume 125 Image close
Classical Recursion Theory: Volume 125 by P. Odifreddi
Classical Recursion Theory: Volume 125 by P. Odifreddi
Show Hide Adult Content
Classical Recursion Theory: Volume 125 close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Set theory

Classical Recursion Theory: Volume 125

The Theory of Functions and Sets of Natural Numbers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$268.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $67.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Studies in Logic & the Foundations of Mathematics

See all products in this series

Logical Frameworks for Truth and Abstraction: Volume 135 on Hardback by A. Cantini
$473.99
Logical Frameworks for Truth and Abstraction: Volume 135
by A. Cantini ~ Hardback
Available - Usually ships in 3-4 weeks
Set Theory An Introduction To Independence Proofs: Volume 102 on Hardback by K. Kunen
$268.99
Set Theory An Introduction To Independence Proofs: Volume 102
by K. Kunen ~ Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics: Volume 121 by A.S. Troelstra
$144.99
Constructivism in Mathematics: Volume 121
by A.S. Troelstra ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Realizability: Volume 152 on Hardback by Jaap Van Oosten
$456.99
Realizability: Volume 152
by Jaap Van Oosten ~ Hardback
Available - Usually ships in 3-4 weeks
Lectures on the Curry-Howard Isomorphism: Volume 149 on Hardback by Pawel Urzyczyn
$419.99
Lectures on the Curry-Howard Isomorphism: Volume 149
by Pawel Urzyczyn ~ Hardback
Available - Usually ships in 3-4 weeks
Tools and Techniques in Modal Logic: Volume 142 on Hardback by M. Kracht
$436.99
Tools and Techniques in Modal Logic: Volume 142
by M. Kracht ~ Hardback
Available - Usually ships in 3-4 weeks
Rudiments of Calculus: Volume 146 on Hardback
$272.99
Rudiments of Calculus: Volume 146
Hardback
Available - Usually ships in 3-4 weeks
Residuated Lattices: An Algebraic Glimpse at Substructural Logics: Volume 151 on Hardback by Nikolaos Galatos
$394.99
Residuated Lattices: An Algebraic Glimpse at Substructural Logics:...
by Nikolaos Galatos ~ Hardback
Available - Usually ships in 3-4 weeks
Categorical Logic and Type Theory: Volume 141 by B. Jacobs
$347.99
Categorical Logic and Type Theory: Volume 141
by B. Jacobs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Language in Action: Volume 130 on Hardback by J Van Benthem
$338.99
Language in Action: Volume 130
by J Van Benthem ~ Hardback
Available - Usually ships in 3-4 weeks
Many-Dimensional Modal Logics: Theory and Applications: Volume 148 on Hardback by A Kurucz
$483.99
Many-Dimensional Modal Logics: Theory and Applications: Volume 148
by A Kurucz ~ Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics, Vol 1: Volume 121 on Hardback by A.S. Troelstra
$618.99
Constructivism in Mathematics, Vol 1: Volume 121
by A.S. Troelstra ~ Hardback
Available - Usually ships in 3-4 weeks
Handbook of Computability Theory: Volume 140 on Hardback
$518.99
Handbook of Computability Theory: Volume 140
Hardback
Available - Usually ships in 3-4 weeks
Relation Algebras by Games: Volume 147 on Hardback by R. Hirsch
$427.99
Relation Algebras by Games: Volume 147
by R. Hirsch ~ Hardback
Available - Usually ships in 3-4 weeks
Handbook of Proof Theory: Volume 137 on Hardback
$516.99
Handbook of Proof Theory: Volume 137
Hardback
Available - Usually ships in 3-4 weeks
Computable Structures and the Hyperarithmetical Hierarchy: Volume 144 on Hardback by C.J. Ash
$371.99
Computable Structures and the Hyperarithmetical Hierarchy: Volume 144
by C.J. Ash ~ Hardback
Available - Usually ships in 3-4 weeks

Description

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 Goedel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.
Release date Australia
February 4th, 1992
Author
Audience
  • Professional & Vocational
Country of Publication
United States
Imprint
North-Holland
Pages
692
Publisher
Elsevier Science & Technology
Dimensions
156x234x36
ISBN-13
9780444894830
Product ID
2806083

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Set theory