Handbook of Computability Theory: Volume 140 Image close
Handbook of Computability Theory: Volume 140 on Hardback
Handbook of Computability Theory: Volume 140 on Hardback
Show Hide Adult Content
Handbook of Computability Theory: Volume 140 close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Handbook of Computability Theory: Volume 140

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$504.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 $126.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Studies in Logic & the Foundations of Mathematics

See all products in this series

Constructivism in Mathematics: Volume 121 by A.S. Troelstra
$140.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
$444.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
$407.99
Lectures on the Curry-Howard Isomorphism: Volume 149
by Pawel Urzyczyn ~ Hardback
Available - Usually ships in 3-4 weeks
Language in Action: Volume 130 on Hardback by J Van Benthem
$329.99
Language in Action: Volume 130
by J Van Benthem ~ Hardback
Available - Usually ships in 3-4 weeks
Rudiments of Calculus: Volume 146 on Hardback
$264.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
$383.99
Residuated Lattices: An Algebraic Glimpse at Substructural Logics:...
by Nikolaos Galatos ~ Hardback
Available - Usually ships in 3-4 weeks
Tools and Techniques in Modal Logic: Volume 142 on Hardback by M. Kracht
$423.99
Tools and Techniques in Modal Logic: Volume 142
by M. Kracht ~ Hardback
Available - Usually ships in 3-4 weeks
Categorical Logic and Type Theory: Volume 141 by B. Jacobs
$337.99
Categorical Logic and Type Theory: Volume 141
by B. Jacobs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Many-Dimensional Modal Logics: Theory and Applications: Volume 148 on Hardback by A Kurucz
$469.99
Many-Dimensional Modal Logics: Theory and Applications: Volume 148
by A Kurucz ~ Hardback
Available - Usually ships in 3-4 weeks
Classical Recursion Theory: Volume 125 by P. Odifreddi
$260.99
Classical Recursion Theory: Volume 125
by P. Odifreddi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Relation Algebras by Games: Volume 147 on Hardback by R. Hirsch
$414.99
Relation Algebras by Games: Volume 147
by R. Hirsch ~ Hardback
Available - Usually ships in 3-4 weeks
Logical Frameworks for Truth and Abstraction: Volume 135 on Hardback by A. Cantini
$460.99
Logical Frameworks for Truth and Abstraction: Volume 135
by A. Cantini ~ Hardback
Available - Usually ships in 3-4 weeks
Constructivism in Mathematics, Vol 1: Volume 121 on Hardback by A.S. Troelstra
$602.99
Constructivism in Mathematics, Vol 1: Volume 121
by A.S. Troelstra ~ Hardback
Available - Usually ships in 3-4 weeks
Computable Structures and the Hyperarithmetical Hierarchy: Volume 144 on Hardback by C.J. Ash
$360.99
Computable Structures and the Hyperarithmetical Hierarchy: Volume 144
by C.J. Ash ~ Hardback
Available - Usually ships in 3-4 weeks
Relation Algebras: Volume 150 on Hardback by Roger Duncan Maddux
$678.99
Relation Algebras: Volume 150
by Roger Duncan Maddux ~ Hardback
Available - Usually ships in 3-4 weeks
Admissibility of Logical Inference Rules: Volume 136 on Hardback by V.V. Rybakov
$495.99
Admissibility of Logical Inference Rules: Volume 136
by V.V. Rybakov ~ Hardback
Available - Usually ships in 3-4 weeks

Description

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.
Release date Australia
October 1st, 1999
Audience
  • Professional & Vocational
Contributor
  • Edited by E.R. Griffor
Country of Publication
United States
Imprint
North-Holland
Pages
724
Publisher
Elsevier Science & Technology
Dimensions
156x234x39
ISBN-13
9780444898821
Product ID
2768756

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 >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation