0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Buy Now

Classical Recursion Theory, Volume II, Volume 143 (Hardcover) Loot Price: R5,860
Discovery Miles 58 600
Classical Recursion Theory, Volume II, Volume 143 (Hardcover): P. Odifreddi

Classical Recursion Theory, Volume II, Volume 143 (Hardcover)

P. Odifreddi

Series: Studies in Logic and the Foundations of Mathematics

 (sign in to rate)
Loot Price R5,860 Discovery Miles 58 600 | Repayment Terms: R549 pm x 12*

Bookmark and Share

Expected to ship within 12 - 19 working days

Volume II of "Classical Recursion Theory" describes the universe from a local (bottom-up
or synthetical) point of view, and covers the whole spectrum, from the
recursive to the arithmetical sets.
The first half of the book provides a detailed picture of the computable
sets from the perspective of Theoretical Computer Science. Besides giving a
detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity
classes, ranging from small time and space bounds to the elementary functions,
with a particular attention to polynomial time and space computability. It also
deals with primitive recursive functions and larger classes, which are of
interest to the proof theorist.
The second half of the book starts with the classical theory of recursively
enumerable sets and degrees, which constitutes the core of Recursion or
Computability Theory. Unlike other texts, usually confined to the Turing
degrees, the book covers a variety of other strong reducibilities, studying
both their individual structures and their mutual relationships. The last
chapters extend the theory to limit sets and arithmetical sets. The volume
ends with the first textbook treatment of the enumeration degrees, which
admit a number of applications from algebra to the Lambda Calculus.
The book is a valuable source of information for anyone interested in
Complexity and Computability Theory. The student will appreciate the detailed
but informal account of a wide variety of basic topics, while the specialist
will find a wealth of material sketched in exercises and asides. A massive
bibliography of more than a thousand titles completes the treatment on the
historical side.

General

Imprint: North-Holland
Country of origin: United States
Series: Studies in Logic and the Foundations of Mathematics
Release date: September 1999
First published: September 1999
Authors: P. Odifreddi
Dimensions: 234 x 156 x 28mm (L x W x T)
Format: Hardcover
Pages: 966
ISBN-13: 978-0-444-50205-6
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Academic & Education > Professional & Technical > Mathematics
Promotions
LSN: 0-444-50205-X
Barcode: 9780444502056

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,292 Discovery Miles 12 920
Principia Mathematica
Russell Bertrand Russell Hardcover R1,332 Discovery Miles 13 320
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R5,602 Discovery Miles 56 020
Logic for Physicists
Nicolas A Pereyra Paperback R793 Discovery Miles 7 930
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R600 Discovery Miles 6 000
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R453 Discovery Miles 4 530
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R95 R90 Discovery Miles 900
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R550 Discovery Miles 5 500
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,238 Discovery Miles 32 380
Theory and Applications of…
Florentin Smarandache, Madeline Al-Tahan Hardcover R7,211 Discovery Miles 72 110
The Scientific Art of Logic
Edward D Simmons Hardcover R1,371 R1,139 Discovery Miles 11 390
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
R355 R317 Discovery Miles 3 170

See more

Partners