Get Free Shipping on orders over $79
Handbook of Computability Theory : Volume 140 - E. R. Griffor
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

Handbook of Computability Theory

Volume 140

By: E. R. Griffor (Editor)

Hardcover | 1 October 1999

At a Glance

Hardcover


$570.75

or 4 interest-free payments of $142.69 with

 or 

Ships in 10 to 15 business days

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.

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Mathematical Puzzles : Revised Edition - Peter Winkler

RRP $56.99

$52.75

What Is Mathematical Logic? - Christopher J.  Ash â? 
Cybersecurity : A Practical Introduction - Nihad A. Hassan

RRP $242.00

$211.75

12%
OFF
Cybersecurity : A Practical Introduction - Nihad A. Hassan

RRP $105.00

$92.75

12%
OFF
Essays in Analysis : Routledge Revivals - Alice Ambrose