Computability, Enumerability, Unsolvability: Directions in Recursion Theory
, by Edited by S. B. Cooper , T. A. Slaman , S. S. WainerNote: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9780521557368 | 0521557364
- Cover: Paperback
- Copyright: 1/26/1996
The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book provide a picture of current ideas and methods in the ongoing investigations into the structure of the computable and noncomputable universe. A number of the articles contain introductory and background material that will make the volume an invaluable resource for mathematicians and computer scientists.